metadata
license: mit
tags:
- process-calc
- exact-arithmetic
- dual-numbers
process-calc
Not a language model. One file. isolate / mix / rate on fractions.Fraction.
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.