{"id":"14016836-5b2e-4d7e-a89f-32664ca3c806","slug":"hf-model-openbmb-mathform-8b-1pyaey6-j","name":"MathForm-8B","description":"Hugging Face model openbmb/MathForm-8B. Task: text generation. Library: transformers. 520 downloads. 9 likes.","capabilities":["transformers","safetensors","qwen3","text-generation","arxiv:2608.14221","lean4","autoformalization","mathematics","formal-verification","reasoning","conversational","en","dataset:openbmb/FormalVerse","base_model:Qwen/Qwen3-8B","base_model:finetune:Qwen/Qwen3-8B","license:apache-2.0","text-generation-inference","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":41.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:34.837Z"}