01
Global Optimality Certification for Spatiotemporal Physics and PDEs
Exact equality elimination compresses discretized PDE optimization from thousands of variables to single digits, turning global certification into a neural verification problem - and moving the bottleneck to the output head.