Automatic Certified Differentiation in Lean
cs.SC, cs.MS
Submitted: 2026-10-26
Updated: 2026-10-26
Related papers
- GPU-Accelerated Search for Fast Matrix Multiplication over F 2
- One Loss Resolves Signed Rank-One Gradient Fibers: Exact Decoding on Cycle and Theta Blocks
- Deterministic Root-Finding over Finite Fields with Elliptic Curves
- An algorithmic construction of Nullstellensatz certificates for graph automorphism groups
- The Indefinite Summation Problem for the Laurent Ring
- Racer: Hunting GPU Kernel Bugs with Symbolic Equivalence Checking