Goedel-LM
/

Goedel-Prover-SFT

Model card Files Files and versions Community

Goedel-Prover-SFT / performance.png

linyongver's picture

Upload performance.png

0b00722 verified about 1 month ago

history contribute delete

320 kB