Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
Paper • 2512.17260 • Published • 52
chatHuman
classroom
AI & ML interests
None defined yet.
GanjinZero
authored a
paper 3 months ago
GanjinZero
authored 12
papers 8 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
GanjinZero
authored a
paper over 2 years ago
GanjinZero
authored a
paper almost 3 years ago