I implemented an algorithm for neural network verification called ⍺β-CROWN for a deep-learning library called tinygrad.

https://github.com/0xekez/tinyLIRPA

tinygrad’s small set of operations and laziness made it easy to implement. Tho my overall sense is that neural network verification is currently more of a research interest than something practical.