xl-zhao
/

formal_proof_generator_v2_iter3

Model card Files Files and versions

formal_proof_generator_v2_iter3

Commit History

Update README.md

1d68196
verified

xl-zhao commited on Aug 25, 2024

Add model and config files

41f17fd

xl-zhao commited on Aug 24, 2024

initial commit

cc2d2d3
verified

xl-zhao commited on Aug 24, 2024