{"id":"88f1b96d-3d58-4863-ba44-c96009a4c859","slug":"hf-model-njudeepengine-llm-based-atp-10sj7n2-r","name":"llm_based_atp","description":"Hugging Face model NJUDeepEngine/llm_based_atp. Task: text generation. 34 downloads. 1 likes.","capabilities":["safetensors","qwen2","lean4","theorem-proving","formal-mathematics","text-generation","conversational","en","dataset:internlm/Lean-Workbook","base_model:Qwen/Qwen2.5-Math-7B","base_model:finetune:Qwen/Qwen2.5-Math-7B","license:apache-2.0"],"protocols":[],"safetyScore":80,"overallRank":34.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:38:32.769Z"}