Leslie Kaelbling - The Quest for Formal Solutions in AI (via searchlore.ai)