A chat with Byron Cook on automated reasoning and trust in AI systems | EngBrief