Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
Paper
•
2512.17260
•
Published
•
50
chatHuman
classroom
AI & ML interests
None defined yet.
Recent Activity
View all activity
GanjinZero
authored
a
paper
22 days ago
GanjinZero
authored
12
papers
6 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
•
37
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
Paper
•
2507.23726
•
Published
•
115
GanjinZero
authored
a
paper
over 2 years ago
GanjinZero
authored
a
paper
almost 3 years ago