|
|
|
|
|
|
by ekez
185 days ago
|
|
|
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. |
|
|