Hugging Face's logo

NJUDeepEngine
/
llm_based_atp

Text Generation
Safetensors
English
qwen2
lean4
theorem-proving
formal-mathematics
conversational
Model card Files
xet
 Community
llm_based_atp
1.55 kB
  • 2 contributors
 History: 1 commit
EdmundLai's picture
EdmundLai
initial commit
786141a verified