deep reasoning

notes and recent talks