Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
NorthernTribe-Research
/
math-conjecture-model
like
0
Text Generation
Transformers
Safetensors
PEFT
NorthernTribe-Research/math-conjecture-training-corpus
English
mathematics
conjectures
theorem-proving
reasoning
qlora
lora
formal-math
lean
research
conversational
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Deploy
Use this model
41a7495
math-conjecture-model
96.1 kB
Ctrl+K
Ctrl+K
1 contributor
History:
6 commits
NorthernTribe-Research
Refine professional project description and training metadata wording.
41a7495
verified
2 months ago
configs
Refine professional project description and training metadata wording.
2 months ago
scripts
Upgrade SOTA curriculum: 4-stage training, post-eval metrics, and quality-gated promotion.
2 months ago
.gitattributes
Safe
1.52 kB
initial commit
2 months ago
.gitignore
Safe
55 Bytes
Rename model repo target to math-conjecture-model and upload pipeline.
2 months ago
README.md
Safe
2.8 kB
Refine professional project description and training metadata wording.
2 months ago
requirements.txt
Safe
162 Bytes
Add SOTA advancement pipeline: multi-stage weighted curriculum + pass@k eval harness.
2 months ago
