Muon overfits at epoch 9 of a 300 batch at .003 lr
Adam works great with an lr of 0.0008 to not overfit
One conv 3x3 layer with 16 filters and a single dense layer
Von Neumann Ordinal Builder
A First-Order Model Checker
CDCL Boolean SAT Solver
A lightweight Symbolic Logic & Set Sandbox written in pure C that treats abstract math as a structured syntax tree instead of raw numbers. Instead of freezing the CPU with impossible brute-force loops over infinite domains, the engine uses structural pattern matching and function metadata to instantly validate first-order logic formulas (like $∀x ∃y$) and visually map out nested Von Neumann ordinals (even transfinite limits like $ω$). It’s a high-performance, low-overhead project built to master formal verification and compiler-level token parsing by turning pure mathematical concepts into clean, deterministic data structures.
Symbolic Logic & Set Sandbox
diophantine