fieldsmodelorg
/

FM-Pochi-32B

Text Generation

theorem-proving

Model card Files Files and versions

chankhavu commited on about 8 hours ago

Commit

345ef54

·

verified ·

1 Parent(s): dba668c

Update README.md

Files changed (1) hide show

README.md +1 -1

README.md CHANGED Viewed

@@ -14,7 +14,7 @@ tags:
 - imo
 ---
-# Olmo-3.1-32B-Think-OPD-IMO
 A 32B fully open-source **reasoning** model fine-tuned for writing **mathematics proofs**. It continues training from AllenAI's [**OLMo 3.1 32B Think**](https://huggingface.co/allenai/Olmo-3.1-32B-Think), with an
 **attention-sink** modification and a transplanted **DeepSeek tokenizer**, and is

 - imo
 ---
+# FM-Pochi-32B
 A 32B fully open-source **reasoning** model fine-tuned for writing **mathematics proofs**. It continues training from AllenAI's [**OLMo 3.1 32B Think**](https://huggingface.co/allenai/Olmo-3.1-32B-Think), with an
 **attention-sink** modification and a transplanted **DeepSeek tokenizer**, and is