|
|
|
|
|
|
by sigmoid10
1456 days ago
|
|
|
This 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/ They also explain the area of overlap with formal verification in their white paper. |
|
|