Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
Paper
•
2502.07640
•
Published
•
9
Goedel-LM
university
AI & ML interests
None defined yet.
redpig-at-imo
authored
4
papers
2 months ago
Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
Paper
•
2508.03613
•
Published
•
11
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
shangetang
updated
a
model
3 months ago
zzzzzhy
updated
2
models
4 months ago
Bohan22
authored
a
paper
4 months ago
Bohan22
updated
a
model
4 months ago
Improve dataset card for MathOlympiadBench: Add metadata, paper, project, and code links
#2 opened 4 months ago
by
nielsr
Improve Model Card: Add pipeline tag and library name
#4 opened 4 months ago
by
nielsr
Improve model card with metadata and additional usage information
#2 opened 4 months ago
by
nielsr
linyongver
updated
a
model
5 months ago
shangetang
updated
2
models
5 months ago
shangetang
published
2
models
5 months ago
Lean version
1
#2 opened 5 months ago
by
desaxce
linyongver
updated
a
dataset
5 months ago
Update README.md
#1 opened 5 months ago
by
kaiyuy