Hugging Face's logo
Zheng Yuan's picture
10 8 49

Zheng Yuan

GanjinZero
hanwenzhu's profile picture Longhui98's profile picture Yalll's profile picture
ยท
https://github.com/GanjinZero

AI & ML interests

Medical NLP

Recent Activity

authored a paper 3 days ago
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
upvoted a paper 17 days ago
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
liked a dataset 2 months ago
neulab/agent-data-collection
View all activity

Organizations

OFA-Sys's profile picture chatHuman's profile picture Medical Informatics Lab at Tsinghua University's profile picture