When did you start talking to formal verification researchers?
Many months ago. Subscribe to the MIRI blog! :)
Many months ago. Subscribe to the MIRI blog! :)