NJUDeepEngine
/

llm_based_atp

Text Generation

theorem-proving

formal-mathematics

Model card Files Files and versions

llm_based_atp / vocab.json

EdmundLai's picture

Upload folder using huggingface_hub

aa8e7b1 verified 3 months ago

history contribute delete

2.78 MB

File too large to display, you can check the raw version instead.