Goedel-LM
/

Goedel-Prover-SFT

Model card Files Files and versions

Goedel-Prover-SFT

Commit History

Add pipeline tag and library name

adedc3b
verified

nielsr HF Staff commited on Feb 16, 2025

Update README.md

8eca7f0
verified

linyongver commited on Feb 12, 2025

Update README.md

64f9617
verified

linyongver commited on Feb 6, 2025

Update README.md

3ab452b
verified

linyongver commited on Feb 6, 2025

Update README.md

7a40b3e
verified

linyongver commited on Feb 2, 2025

Update README.md

7a805d9
verified

linyongver commited on Feb 2, 2025

Update README.md

21071cb
verified

linyongver commited on Feb 1, 2025

Update README.md

5455462
verified

linyongver commited on Feb 1, 2025

Update README.md

70cf721
verified

linyongver commited on Jan 30, 2025

Update README.md

caf8fe1
verified

linyongver commited on Jan 29, 2025

Update README.md

ee64ffc
verified

linyongver commited on Jan 29, 2025

Update README.md

ae874ed
verified

linyongver commited on Jan 29, 2025

Update README.md

273d0a1
verified

linyongver commited on Jan 29, 2025

Update README.md

88c7235
verified

linyongver commited on Jan 29, 2025

Upload performance.png

0b00722
verified

linyongver commited on Jan 29, 2025

Update README.md

fad47d4
verified

linyongver commited on Jan 28, 2025

Initial model upload

5e1e7cd
verified

linyongver commited on Jan 28, 2025

initial commit

db63f33
verified

linyongver commited on Jan 28, 2025