Blogs 25/07/2020 - Notes on Logic and Automated Reasoning 02/06/2020 - Notes on Reinforcement Learning