Jun 25, 2026 · 10 min
phop 0.1.0 Released — Differentiable Symbolic Discovery That Finds (and Proves) the Equation
phop 0.1.0 — a pure-Rust differentiable symbolic-discovery engine that learns the topology and constants of closed-form laws by gradient descent over trees of a single operator, eml(x,y)=exp(x)−ln(y), then certifies and SMT/Lean-proves them. Runs the whole pipeline in the browser via WASM.
releasephoprust