Hugging Face model: NorthernTribe-Research/math-conjecture-model
Author: NorthernTribe-Research
Created: 2026-02-21 10:45:29
Last modified: 2026-03-25 11:25:47
Pipeline: text-generation
Library: transformers
Likes: 0 | Downloads: 6
Tags: 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, region:us
Base model relation: adapter
Base models: id: Qwen/Qwen2.5-0.5B-Instruct
Card metadata:
language: en
license: apache-2.0
library_name: transformers
pipeline_tag: text-generation
tags: mathematics, conjectures, theorem-proving, reasoning, qlora, lora, peft, formal-math, lean, research
base_model: Qwen/Qwen2.5-0.5B-Instruct
datasets: NorthernTribe-Research/math-conjecture-training-corpus