Hugging Face's logo

NorthernTribe-Research
/
math-conjecture-model

Text Generation
Transformers
Safetensors
PEFT
English
mathematics
conjectures
theorem-proving
reasoning
qlora
lora
formal-math
lean
research
conversational
Model card Files
xet
 Community
math-conjecture-model / tokenizer.json

Commit History

Upload top-level adapter artifact: tokenizer.json
9928543
verified

NorthernTribe-Research commited on