Goedel-LM/RL_dataset_V2
Updated
Goedel-LM
university
AI & ML interests
None defined yet.
Recent Activity
zrrr
published 2 datasets 7 minutes ago
zrrr
updated a dataset about 3 hours ago
zrrr
updated a dataset about 17 hours ago
Improve model card: Add title, paper link, project page, library name, pipeline tag and citation
2
#1 opened 2 months ago
by
nielsr
redpig-at-imo
authored 4 papers 5 months ago
Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
Paper
• 2502.07640 • Published
• 9
Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
Paper
• 2508.03613 • Published
• 13
Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities
Paper
• 2505.12680 • Published
QuestA: Expanding Reasoning Capacity in LLMs via Question Augmentation
Paper
• 2507.13266 • Published
• 1
shangetang
updated a model 6 months ago
zzzzzhy
updated 2 models 7 months ago
Bohan22
authored a paper 7 months ago
Bohan22
updated a model 7 months ago
Improve dataset card for MathOlympiadBench: Add metadata, paper, project, and code links
#2 opened 7 months ago
by
nielsr
Improve Model Card: Add pipeline tag and library name
#4 opened 7 months ago
by
nielsr
Improve model card with metadata and additional usage information
#2 opened 7 months ago
by
nielsr
linyongver
updated a model 7 months ago
shangetang
updated 2 models 7 months ago