Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
Paper
•
2502.07640
•
Published
•
8
Eugene I
geneing
·
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
21 days ago
Goedel-Prover: A Frontier Model for Open-Source Automated Theorem
Proving
updated
a model
about 2 months ago
geneing/Kokoro
updated
a model
about 2 months ago
geneing/Kokoro
Organizations
None yet