Goedel-LM

university

https://github.com/Goedel-LM

AI & ML interests

None defined yet.

Recent Activity

linyongver updated a dataset 24 days ago

Goedel-LM/Lean-workbook-proofs

linyongver updated a model 29 days ago

Goedel-LM/Goedel-Prover-SFT

linyongver published a dataset about 1 month ago

Goedel-LM/Lean-workbook-proofs

View all activity

models 1

Goedel-LM/Goedel-Prover-SFT

Updated 29 days ago • 2.94k • 24

datasets 1

Goedel-LM/Lean-workbook-proofs

Viewer • Updated 24 days ago • 29.8k • 223 • 5