Model card: ~36B training tokens
Browse files
README.md
CHANGED
|
@@ -41,7 +41,7 @@ A growing subset of Python, refused up front when a script steps outside it:
|
|
| 41 |
- `//` and `%` steps write a scratch section first (the quotient, most
|
| 42 |
significant digit first, and for `%` the divisor × quotient), which the
|
| 43 |
harness ignores
|
| 44 |
-
- Trained from random init on one RTX 5090, ~
|
| 45 |
execution traces over phases A → B → C. Traces come from a reference
|
| 46 |
interpreter checked against real CPython at every instruction.
|
| 47 |
|
|
|
|
| 41 |
- `//` and `%` steps write a scratch section first (the quotient, most
|
| 42 |
significant digit first, and for `%` the divisor × quotient), which the
|
| 43 |
harness ignores
|
| 44 |
+
- Trained from random init on one RTX 5090, ~36B tokens of synthetic
|
| 45 |
execution traces over phases A → B → C. Traces come from a reference
|
| 46 |
interpreter checked against real CPython at every instruction.
|
| 47 |
|