In this Techstrong.ai Leadership Insights interview, Mike Miller, director of product management at AWS, explains how automated reasoning—grounded in centuries-old logic and mathematics—can improve the trustworthiness, reliability, and correctness of modern artificial intelligence systems and applications.