Prediction: AI will make formal verification go mainstream — Martin Kleppmann’s blog (via ajessejiryudavis) — discussion

#ai #formalmethods