Goedel-LM
/

Goedel-Prover-SFT

Model card Files Files and versions Community

linyongver commited on Jan 29

Commit

0b00722

·

verified ·

1 Parent(s): fad47d4

Upload performance.png

Files changed (1) hide show

performance.png +0 -0

performance.png ADDED Viewed