Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up

Goedel-LM

university
https://github.com/Goedel-LM
Activity Feed

AI & ML interests

None defined yet.

Recent Activity

zzzzzhy  updated a model about 6 hours ago
Goedel-LM/Goedel-Prover-V2-8B
zzzzzhy  updated a model about 6 hours ago
Goedel-LM/Goedel-Prover-V2-32B
Bohan22  authored a paper 3 days ago
Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
View all activity

Gesi's profile picture zrrr's profile picture Hongzhou Lin's profile picture Haoyu Zhao's profile picture Bohan22's profile picture Yong Lin's profile picture Shange Tang's profile picture Jui-Hui Chung's profile picture

models 8

Goedel-LM/Goedel-Prover-V2-8B

Text Generation • 8B • Updated about 6 hours ago • 6.95k • 7

Goedel-LM/Goedel-Prover-V2-32B

Text Generation • 33B • Updated about 6 hours ago • 2.14k • 27

Goedel-LM/Goedel-Formalizer-V2-32B

33B • Updated 19 days ago • 82 • 3

Goedel-LM/Goedel-Formalizer-V2-8B

8B • Updated 20 days ago • 76 • 1

Goedel-LM/Goedel-Prover-DPO

7B • Updated Apr 22 • 30 • 4

Goedel-LM/Goedel-Formalizer-32B-SonnetAnnotated

33B • Updated Apr 22 • 6 • 1

Goedel-LM/Goedel-Formalizer-32B-LeanWorkbookAnnotated

33B • Updated Apr 22 • 4

Goedel-LM/Goedel-Prover-SFT

7B • Updated Apr 18 • 4.64k • 29

datasets 3

Goedel-LM/MathOlympiadBench

Viewer • Updated 3 days ago • 360 • 412 • 7

Goedel-LM/Goedel-Pset-v1

Viewer • Updated Apr 18 • 1.73M • 351 • 9

Goedel-LM/Lean-workbook-proofs

Viewer • Updated Mar 24 • 29.8k • 643 • 12
Company
TOS Privacy About Jobs
Website
Models Datasets Spaces Pricing Docs