Comment Comment by ekez I implemented an algorithm for neural network verification called ⍺β-CROWN for a deep-learning library called tinygrad.https://github.com/0xekez/tinyLIRPAtinygrad’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. parent ekez 10 months ago
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.