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.

Multiple experts spoke at Insurance Times' TechTalk Live roundtable, which focused on affirmative cover for artificial ...