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