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 5 days ago

humanfia-lab/qcode

published a dataset 14 days ago

humanfia-lab/qcode

updated a dataset 15 days ago

humanfia-lab/icho-2026-lean4-formalizations

View all activity

Organizations

Papers 17

arxiv:2509.15148

arxiv:2509.07403

arxiv:2507.05557

arxiv:2507.06261

models 0

None public yet

datasets 1

menik1126/PhyX-AF

Viewer • Updated Feb 21 • 256 • 45 • 5