File size: 777 Bytes
ae01165
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
---
license: mit
tags:
  - process-calc
  - exact-arithmetic
  - dual-numbers
---

# process-calc

Not a language model. One file. `isolate` / `mix` / `rate` on `fractions.Fraction`.

```python
from PROCESS import isolate, mix, rate
x = isolate(3, 1)
print(rate(mix(x, x), x))  # 6
```

Gauge: seeds `1, 2, 1/2, -1` all print `6` for `x*x` at 3.
Float, bool, seed 0, empty certify grid → θ.

## What this beats on a leaderboard

Nothing in lm-eval until you attach it as a **tool**.
What it beats in a demo: school `6+h` plus a limit drop. This prints `6` in three writes.

GSM8K is parse. Do not score this file as a mind.

## Upload

```
huggingface-cli upload YOURUSER/process-calc PROCESS.py README.md --repo-type model
```

Or a Space that only runs the snippet above.