NJUDeepEngine
/

llm_based_atp

Text Generation

theorem-proving

formal-mathematics

Model card Files Files and versions

llm_based_atp / tokenizer.json

Commit History

Upload folder using huggingface_hub

aa8e7b1
verified

EdmundLai commited on May 18