Update README.md
Browse filesDisclaimer:
This is submitted as part of my research for Modular Arithmetic Challenge, this is not an official submission as this is a solved circuit.
There is no training set, no optimizer, and no fitted parameter.
README.md
CHANGED
|
@@ -1,3 +1,7 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
# rob-constructed-v1: constructed ReLU circuit for exact (a路b) mod p
|
| 2 |
|
| 3 |
A fixed-weight linear + ReLU network that computes `(a * b) mod p` exactly at
|
|
@@ -9,10 +13,8 @@ provenance plainly. The weights are set by construction (two numeric constants,
|
|
| 9 |
`1` and `2^16`, plus the structural wiring in `circuit.py`). There is no
|
| 10 |
training set, no optimizer, and no fitted parameter.
|
| 11 |
|
| 12 |
-
It is submitted as
|
| 13 |
-
|
| 14 |
-
exact on every scored tier. How to treat it is the organizers' call; the
|
| 15 |
-
manifest discloses the tension with the trained-parameters rule openly.
|
| 16 |
|
| 17 |
## What it computes
|
| 18 |
|
|
@@ -53,4 +55,4 @@ Inputs whose prime exceeds the 2048-bit tier ceiling return `[0]`.
|
|
| 53 |
|
| 54 |
No weight files: the circuit needs none. That is part of the honest picture.
|
| 55 |
A submission with no trained parameters is, by the rules' own wording, a circuit
|
| 56 |
-
rather than a model.
|
|
|
|
| 1 |
+
---
|
| 2 |
+
tags:
|
| 3 |
+
- ClaudeCode
|
| 4 |
+
---
|
| 5 |
# rob-constructed-v1: constructed ReLU circuit for exact (a路b) mod p
|
| 6 |
|
| 7 |
A fixed-weight linear + ReLU network that computes `(a * b) mod p` exactly at
|
|
|
|
| 13 |
`1` and `2^16`, plus the structural wiring in `circuit.py`). There is no
|
| 14 |
training set, no optimizer, and no fitted parameter.
|
| 15 |
|
| 16 |
+
It is submitted as part research, a hand-encoded algorithm that meets the time and space budget and is
|
| 17 |
+
exact on every scored tier.
|
|
|
|
|
|
|
| 18 |
|
| 19 |
## What it computes
|
| 20 |
|
|
|
|
| 55 |
|
| 56 |
No weight files: the circuit needs none. That is part of the honest picture.
|
| 57 |
A submission with no trained parameters is, by the rules' own wording, a circuit
|
| 58 |
+
rather than a model.
|