3 ms·
If you're interested in verification you should probably talk to people who actually work on verification, for example, literally anyone from our research commu
by tlringer 4y ago
If you're interested in verification you should probably talk to people who actually work on verification, for example, literally anyone from our research community: https://www.floc2022.org/ https://www.floc2022.org/
- sigmoid10 4y agoThis kind of verification is what the other commenter was referring to, but it is very foundational and disconnected from current day-to-day ML aspects. If you're interested in practical, empirical AI safety research, see here for example: http://aisafety.stanford.edu/ http://aisafety.stanford.edu/ They also explain the area of overlap with formal verification in their white paper.