CCC YC Automated Reasoning at Amazon: A Conversation Story Published at: August 8, 2022 at 08:41PM Aug 08