Goedel-LM
/

Goedel-Prover-SFT

Model card Files Files and versions Community

Resources

View closed (0)

statement formalizers

#2 opened 13 days ago by

Add pipeline tag and library name

#1 opened about 2 months ago by