NJUDeepEngine
/

llm_based_atp

Text Generation

theorem-proving

formal-mathematics

Model card Files Files and versions

llm_based_atp / README.md

Commit History

Update README.md

a9dde19
verified

ParagonLight commited on Jun 23

Update README.md

666328c
verified

ParagonLight commited on Jun 23

Upload folder using huggingface_hub

aa8e7b1
verified

EdmundLai commited on May 18

initial commit

786141a
verified

EdmundLai commited on May 17