Update README.md
Browse files
README.md
CHANGED
|
@@ -16,10 +16,21 @@ Deployment-ready model artifacts for the AIMO Proof Pilot submission. Every subf
|
|
| 16 |
`Olmo3SinkForCausalLM` (olmo3_sink, DeepSeek-V4-Flash transplanted tokenizer, vocab 129,280)
|
| 17 |
family member and they share one tokenizer.
|
| 18 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 19 |
Related repositories: [code](https://github.com/ycchen-tw/proof-pilot-codes) ·
|
| 20 |
[intermediate checkpoints](https://huggingface.co/ycchen/proof-pilot-checkpoints) ·
|
| 21 |
[training-data artifacts](https://huggingface.co/datasets/ycchen/proof-pilot-datasets).
|
| 22 |
|
|
|
|
| 23 |
| Subfolder | Model | Notes |
|
| 24 |
|---|---|---|
|
| 25 |
| `soft-distill-7b-deploy/` | stage1-v2-7b soft-distill v2 (deploy) | 7B off-policy soft distillation (bf16), with tokenizer + chat template |
|
|
|
|
| 16 |
`Olmo3SinkForCausalLM` (olmo3_sink, DeepSeek-V4-Flash transplanted tokenizer, vocab 129,280)
|
| 17 |
family member and they share one tokenizer.
|
| 18 |
|
| 19 |
+
> **Training cutoff — no IMO 2026 contamination.** Every checkpoint in this
|
| 20 |
+
> repository was trained **before IMO 2026 began**: before **09:00 on 15 July 2026,
|
| 21 |
+
> Shanghai time (UTC+8)**, the local start of the competition. The IMO 2026 problems
|
| 22 |
+
> were not public before that moment, so they cannot appear in any training data.
|
| 23 |
+
|
| 24 |
+
| Benchmark | Result | Grader | Setting | Solutions |
|
| 25 |
+
|---|---|---|---|---|
|
| 26 |
+
| **IMO 2026** | **19 / 42 — Bronze medal** | [Human expert (ex-IMO)](https://github.com/fieldsmodelorg/AIMO-Proof-Pilot/tree/main/imo_2026_eval) | `high` budget | [solutions.csv](https://github.com/fieldsmodelorg/AIMO-Proof-Pilot/blob/main/imo_2026_eval/raw/imo2026-deploy-budget-high-tournament_submission.csv) |
|
| 27 |
+
|
| 28 |
+
|
| 29 |
Related repositories: [code](https://github.com/ycchen-tw/proof-pilot-codes) ·
|
| 30 |
[intermediate checkpoints](https://huggingface.co/ycchen/proof-pilot-checkpoints) ·
|
| 31 |
[training-data artifacts](https://huggingface.co/datasets/ycchen/proof-pilot-datasets).
|
| 32 |
|
| 33 |
+
|
| 34 |
| Subfolder | Model | Notes |
|
| 35 |
|---|---|---|
|
| 36 |
| `soft-distill-7b-deploy/` | stage1-v2-7b soft-distill v2 (deploy) | 7B off-policy soft distillation (bf16), with tokenizer + chat template |
|