4 ms·
Deepmind has projects related to 'formal verification' and conservative bounding, presumably for these very reasons.
by throwawaw434234 8y ago
Deepmind has projects related to 'formal verification' and conservative bounding, presumably for these very reasons.