Verification is a cornerstone for reasoning. Recent progress in mathematical reasoning and theorem proving has relied on LLMs + formal verification in Lean. But so far, Lean has focused on pure math, and lacks support for verification involving neural nets themselves. Applications include: 1. Certified robustness in neural networks, crucial in safety critical applications such as neural control. 2. Physics informed neural networks, which have been used to prove singularity problems related to the Millennium prize problem in fluid dynamics. 3. Theory related to neural networks such as approximation bounds, effect of quantization etc.

→ View original post on X — @animaanandkumar, 2026-03-01 01:04 UTC