Can We Trust AI-Written Code? | Gabriela Moreira on Quint & Formal Methods
The Geek Narrator · 61:17
Formal specifications let you judge AI-generated code by its behavior instead of by trust. Gabriella, CEO of Quint, argues that confidence only comes from understanding, and that Quint's current goal is to restore tru...