Comment by measurablefunc

Not really. If you find someone who claims that non-trivial properties of neural networks can be verified by some kind of formal system like Lean then you should post the link because that would be very impressive.