Update README.md

README.md

@@ -55,7 +55,7 @@ Neumathwork natively parses and reduces 24+ mathematical operations. Below are t
 
 ### 3. Geometry & Discrete Mathematics
 - **Pythagoras / Euclidean Norm:** `hypot(a, b)` (e.g., `hypot(9, 40)` → `41`)
-- **Circle Geometry:** `circle_area(r)` (Exact $\pi \cdot r^2$, e.g., `circle_area(7)` → `154`)
+- **Circle Geometry:** `circle_area(r)` (Exact π * r^2, e.g., `circle_area(7)` → `154`)
 - **Number Theory (GCD / FPB):** `gcd(a, b)` (e.g., `gcd(48, 72)` → `24`)
 - **Combinatorics (Factorial):** `fact(n)` (e.g., `fact(5)` → `120`)
 
@@ -76,7 +76,7 @@ Neumathwork uses an optimized parameter-efficient neuro-symbolic design (~2.5M p
 2. **4-Layer Relation-Aware Residual GAT:** Graph Attention layers with LayerNorm to capture non-local mathematical operator precedence.
 3. **2-Layer GRU Controller + Cross-Attention:** Sequentially navigates candidate nodes to identify reducible sub-expressions (*redexes*).
 4. **Dual-Head Policy (NOP & NMC):**
-   - *Neural Operator Prediction (NOP):* Discrete 16-class classification head with learned temperature scaling ($T \approx 1.05$).
+   - *Neural Operator Prediction (NOP):* Discrete 16-class classification head with learned temperature scaling ( $T \approx 1.05$ ).
    - *Neural Matrix Computation (NMC):* Continuous latent magnitude heuristic trained with *Signed-Log Smooth L1 Loss*.
 5. **Symbolic Sovereign Verifier:** Deterministic rule engine ensuring strict mathematical invariants (Zero-division prevention, negative root rejection).