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.
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/