Zheng Yuan's picture

Zheng Yuan

GanjinZero

·

https://github.com/GanjinZero

GanjinZero

AI & ML interests

Medical NLP

Recent Activity

authored a paper 22 days ago

Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience

upvoted a paper about 1 month ago

Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience

liked a dataset 3 months ago

neulab/agent-data-collection

View all activity

Organizations

commented a paper 6 months ago

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving

Paper • 2507.23726 • Published Jul 31, 2025 • 115 •

New activity in GanjinZero/coder_eng over 2 years ago

Usage questions

#2 opened over 2 years ago by

New activity in GanjinZero/UMLSBert_ENG almost 3 years ago

Adding `safetensors` variant of this model

#2 opened almost 3 years ago by

New activity in GanjinZero/biobart-large almost 3 years ago

Adding `safetensors` variant of this model

#1 opened almost 3 years ago by

New activity in GanjinZero/coder_eng_pp almost 3 years ago

Adding `safetensors` variant of this model

#1 opened almost 3 years ago by

New activity in GanjinZero/biobart-v2-base almost 3 years ago

Adding `safetensors` variant of this model

#1 opened almost 3 years ago by

New activity in GanjinZero/biobart-base almost 3 years ago

Adding `safetensors` variant of this model

#1 opened almost 3 years ago by

New activity in GanjinZero/biobart-v2-large almost 3 years ago

Adding `safetensors` variant of this model

#1 opened almost 3 years ago by

New activity in GanjinZero/coder_eng almost 3 years ago

Adding `safetensors` variant of this model

#1 opened almost 3 years ago by

New activity in GanjinZero/UMLSBert_ENG almost 3 years ago

🚩 Report

#1 opened almost 3 years ago by

🚩 Report

#1 opened almost 3 years ago by