arxiv:2509.15148
Jing Xiong
menik1126
AI & ML interests
Natural Language Processing
Recent Activity
updated a dataset 4 days ago
humanfia-lab/qcode published a dataset 4 days ago
humanfia-lab/qcode updated a dataset 4 days ago
humanfia-lab/icho-2026-lean4-formalizations