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
74.4 MB
Ctrl+K
Ctrl+K
1 contributor
History:
26 commits
NorthernTribe-Research
Add top-level config.json marker to improve default download-stats counting.
95d8f84
verified
7 days ago
configs
Add tailored from-scratch training stack (tokenizer + random-init LM) for math conjecture solving
9 days ago
scratch
Upload initialized from-scratch smoke bootstrap artifacts (tokenizer + random-init checkpoint)
9 days ago
scripts
Add tailored from-scratch training stack (tokenizer + random-init LM) for math conjecture solving
9 days ago
.gitattributes
Safe
1.57 kB
Upload top-level adapter artifact: tokenizer.json
7 days ago
.gitignore
Safe
55 Bytes
Rename model repo target to math-conjecture-model and upload pipeline.
about 1 month ago
README.md
9.12 kB
Apply curated official model card (SOTA 0.5B) with full project context.
7 days ago
adapter_config.json
1.06 kB
Upload top-level adapter artifact: adapter_config.json
7 days ago
adapter_model.safetensors
35.2 MB
xet
Upload top-level adapter artifact: adapter_model.safetensors
7 days ago
chat_template.jinja
Safe
2.51 kB
Upload top-level adapter artifact: chat_template.jinja
7 days ago
config.json
461 Bytes
Add top-level config.json marker to improve default download-stats counting.
7 days ago
requirements.txt
Safe
219 Bytes
Add tailored from-scratch training stack (tokenizer + random-init LM) for math conjecture solving
9 days ago
tokenizer.json
Safe
11.4 MB
xet
Upload top-level adapter artifact: tokenizer.json
7 days ago
tokenizer_config.json
Safe
665 Bytes
Upload top-level adapter artifact: tokenizer_config.json
7 days ago