Goedel-LM
/

Goedel-Prover-SFT

Model card Files Files and versions Community

Resources

View closed (0)

statement formalizers

#2 opened about 2 months ago by

Add pipeline tag and library name

#1 opened 3 months ago by