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
main
math-conjecture-model
/
scratch
27.6 MB
Ctrl+K
Ctrl+K
1 contributor
History:
1 commit
NorthernTribe-Research
Upload initialized from-scratch smoke bootstrap artifacts (tokenizer + random-init checkpoint)
9210696
verified
9 days ago
bootstrap_smoke_2026-03-23
Upload initialized from-scratch smoke bootstrap artifacts (tokenizer + random-init checkpoint)
9 days ago