Goedel-LM

Goedel-LM's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Articles

linyongver 

updated a dataset 15 days ago

Goedel-LM/Goedel-Pset

Viewer • Updated 15 days ago • 1.73M • 555 • 5

linyongver 

published a dataset 16 days ago

Goedel-LM/Goedel-Pset

Viewer • Updated 15 days ago • 1.73M • 555 • 5

linyongver 

updated a dataset 24 days ago

Goedel-LM/Lean-workbook-proofs

Viewer • Updated 24 days ago • 29.8k • 501 • 8

linyongver 

updated a model 2 months ago

Goedel-LM/Goedel-Prover-SFT

Updated Feb 12 • 17.4k • 27

linyongver 

published a dataset 3 months ago

Goedel-LM/Lean-workbook-proofs

Viewer • Updated 24 days ago • 29.8k • 501 • 8

linyongver 

published a model 3 months ago

Goedel-LM/Goedel-Prover-SFT

Updated Feb 12 • 17.4k • 27