Linking AI models to formal verification methods can correct LLM shortcomings such as false assertions. Amazon's Byron Cook explains the promise of automated reasoning.

When Zane Mountcastle co-founded Picogrid, it wasn’t to build another drone or sensor. It was to fix the connective tissue of ...