Goedel-LM
/

Goedel-Prover-SFT

Model card Files Files and versions Community

Goedel-Prover-SFT

Commit History

Add pipeline tag and library name

adedc3b
verified

nielsr HF staff commited on Feb 16

Update README.md

8eca7f0
verified

linyongver commited on Feb 12

Update README.md

64f9617
verified

linyongver commited on Feb 6

Update README.md

3ab452b
verified

linyongver commited on Feb 6

Update README.md

7a40b3e
verified

linyongver commited on Feb 2

Update README.md

7a805d9
verified

linyongver commited on Feb 2

Update README.md

21071cb
verified

linyongver commited on Feb 1

Update README.md

5455462
verified

linyongver commited on Feb 1

Update README.md

70cf721
verified

linyongver commited on Jan 30

Update README.md

caf8fe1
verified

linyongver commited on Jan 29

Update README.md

ee64ffc
verified

linyongver commited on Jan 29

Update README.md

ae874ed
verified

linyongver commited on Jan 29

Update README.md

273d0a1
verified

linyongver commited on Jan 29

Update README.md

88c7235
verified

linyongver commited on Jan 29

Upload performance.png

0b00722
verified

linyongver commited on Jan 29

Update README.md

fad47d4
verified

linyongver commited on Jan 28

Initial model upload

5e1e7cd
verified

linyongver commited on Jan 28

initial commit

db63f33
verified

linyongver commited on Jan 28