{"id":"48f1155a-c988-45d7-8c7d-13386d87d3e6","slug":"hf-model-northerntribe-research-math-conjecture-model-wsw5yl-18","name":"math-conjecture-model","description":"Hugging Face model NorthernTribe-Research/math-conjecture-model. Task: text generation. Library: transformers. 21 downloads.","capabilities":["transformers","safetensors","peft","text-generation","mathematics","conjectures","theorem-proving","reasoning","qlora","lora","formal-math","lean","research","conversational","en","dataset:NorthernTribe-Research/math-conjecture-training-corpus","base_model:Qwen/Qwen2.5-0.5B-Instruct","base_model:adapter:Qwen/Qwen2.5-0.5B-Instruct","license:apache-2.0","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":33,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:39:38.881Z"}