NJUDeepEngine
/

llm_based_atp

Text Generation

theorem-proving

formal-mathematics

Model card Files Files and versions

llm_based_atp / merges.txt

EdmundLai's picture

Upload folder using huggingface_hub

aa8e7b1 verified over 1 year ago

Raw History Contribute Delete

1.67 MB

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