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