arxiv:2512.17260
Zheng Yuan
GanjinZero
AI & ML interests
Medical NLP
Recent Activity
authored
a paper
about 11 hours ago
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
liked
a dataset
2 months ago
neulab/agent-data-collection