{"id":"bc283745-2db3-4826-b3c5-db37372ad9b3","slug":"hf-model-frenzymath-real-prover-1jfv2e5-m","name":"REAL-Prover","description":"Hugging Face model FrenzyMath/REAL-Prover. Task: text generation. Library: transformers. 41 downloads.","capabilities":["transformers","safetensors","qwen2","text-generation","lean4","theorem-proving","formal-mathematics","retrieval-augmented","mathematical-reasoning","conversational","en","dataset:your-org/expr_2000","arxiv:2505.20613","base_model:Qwen/Qwen2.5-Math-7B","base_model:finetune:Qwen/Qwen2.5-Math-7B","license:apache-2.0","text-generation-inference","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":34.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:38:20.223Z"}