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
/
scripts
109 kB
Ctrl+K
Ctrl+K
1 contributor
History:
6 commits
NorthernTribe-Research
Add tailored from-scratch training stack (tokenizer + random-init LM) for math conjecture solving
e69a71a
verified
9 days ago
eval_sota.py
Safe
20 kB
Retarget model to math-conjecture solver profile; remove DeepSeek configs and legacy sync snapshot
9 days ago
merge_and_push.py
Safe
4.64 kB
Retarget model to math-conjecture solver profile; remove DeepSeek configs and legacy sync snapshot
9 days ago
train_scratch.py
Safe
23.2 kB
Add tailored from-scratch training stack (tokenizer + random-init LM) for math conjecture solving
9 days ago
train_sft.py
Safe
19.1 kB
Retarget model to math-conjecture solver profile; remove DeepSeek configs and legacy sync snapshot
9 days ago
train_sota.py
Safe
42.6 kB
Retarget model to math-conjecture solver profile; remove DeepSeek configs and legacy sync snapshot
9 days ago
