Hugging Face's logo

NorthernTribe-Research
/
math-conjecture-model

Text Generation
Transformers
English
mathematics
conjecture-reasoning
deepseek-math
lora
Model card Files
xet
Community
math-conjecture-model / scripts /merge_and_push.py

Commit History

Rename model repo target to math-conjecture-model and upload pipeline.
90dacf5
verified

NorthernTribe-Research commited on