Verification Examples

Runnable and theorem-backed examples for TorchLean's verification library. The imports include the checkers used by the bundled LiRPA, robustness, spline, VNN-COMP, ODE, PINN, and alpha-beta-CROWN artifacts, together with workflows whose models originate in TorchLean.