Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
Paper
• 2512.17260 • Published
• 52
Zheng Yuan
GanjinZero
AI & ML interests
Medical NLP
Recent Activity
authored
a paper
2 months ago
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience upvoted a paper 3 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 Organizations
authored a paper 2 months ago
upvoted a paper 3 months ago
liked a dataset 4 months ago
liked a dataset 7 months ago
authored 12 papers 7 months ago
OccuQuest: Mitigating Occupational Bias for Inclusive Large Language Models
Paper
• 2310.16517 • Published
• 1
Routing to the Expert: Efficient Reward-guided Ensemble of Large Language Models
Paper
• 2311.08692 • Published
• 13
#InsTag: Instruction Tagging for Analyzing Supervised Fine-tuning of Large Language Models
Paper
• 2308.07074 • Published
Automatic Biomedical Term Clustering by Learning Fine-grained Term Representations
Paper
• 2204.00391 • Published
BioBART: Pretraining and Evaluation of A Biomedical Generative Language Model
Paper
• 2204.03905 • Published
• 4
SeqDiffuSeq: Text Diffusion with Encoder-Decoder Transformers
Paper
• 2212.10325 • Published
BIOS: An Algorithmically Generated Biomedical Knowledge Graph
Paper
• 2203.09975 • Published
Query and Response Augmentation Cannot Help Out-of-domain Math Reasoning Generalization
Paper
• 2310.05506 • Published
• 1
How Abilities in Large Language Models are Affected by Supervised Fine-tuning Data Composition
Paper
• 2310.05492 • Published
• 2
Hierarchical Pretraining for Biomedical Term Embeddings
Paper
• 2307.00266 • Published
Qwen Technical Report
Paper
• 2309.16609 • Published
• 38
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
Paper
• 2507.23726 • Published
• 115
upvoted 2 papers 7 months ago
commented a paper 7 months ago
liked a dataset 7 months ago