Jing Xiong

menik1126

·

https://scholar.google.com/citations?user=dFX1hXkAAAAJ&hl=zh-CN

menik1126

AI & ML interests

Natural Language Processing

Recent Activity

updated a dataset about 14 hours ago

humanfia-lab/qcode

published a dataset 7 days ago

humanfia-lab/qcode

updated a dataset 8 days ago

humanfia-lab/icho-2026-lean4-formalizations

View all activity

Organizations

menik1126 's papers 17

arxiv:2509.15148

arxiv:2509.07403

arxiv:2507.05557

arxiv:2507.06261

arxiv:2506.07047

arxiv:2506.01713

arxiv:2505.15929

arxiv:2502.18277

arxiv:2412.13626

arxiv:2411.05902

arxiv:2410.03090

arxiv:2410.02719

arxiv:2406.13035

arxiv:2406.01940

arxiv:2311.13538

arxiv:2310.10180

arxiv:2310.02954