hey yall, some more research papers about formal verification. don't upvote, repost the ones you like; this is a super low effort post, I have other things to do, I'm just closing tabs because I don't have time to read these right now. these are older than the ones I shared from semanticscholar, but the first one in particular is rather interesting.

• https://arxiv.org/abs/2012.09313 - Generate and Verify: Semantically Meaningful Formal Analysis of Neural Network Perception Systems (metaphor search for this)
• a metaphor search I used to find some stuff
• https://github.com/eth-sri/diffai
• https://arxiv.org/abs/1810.12715
• https://evademl.org/
• https://github.com/revbucket/geometric-certificates
• https://github.com/MIT-SPARK/CertifiablyRobustPerception
• http://safeai.ethz.ch/