Manifest
2026
Back
Schedule
V
Visitor
Schedule
Session idea
Can math prove AI safe?
Alok Singh
An introduction anddiscussion about formal verification and its strength and limitations
Chance I’d attend
__
%
1
50%
0
80%
0
