Goedel-LM
/

Goedel-Prover-SFT

Model card Files Files and versions Community

Goedel-Prover-SFT / README.md

Commit History

Update README.md

8eca7f0
verified

linyongver commited on 27 days ago

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

Update README.md

fad47d4
verified

linyongver commited on Jan 28

initial commit

db63f33
verified

linyongver commited on Jan 28