Sept 2020 - Presentation on INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving at AITP 2020.
Aug 2020 - Presentation on Towards Neural Symbolic Reasoning at Stanford University.
Jul 2020 - Presentation on Modelling High-Level Mathematical Reasoning in Mechanised Declarative Proofs at Google AI Research.
Jul 2020 - Presentation on Towards Neural Symbolic Reasoning at University of Toronto.
Jun 2020 - Presentation on Towards Neural Symbolic Reasoning at University of Warsaw.
Mar 2020 - Presentation on Analogical Reasoning by Learning a Hierarchy of Concepts at Google X
Mar 2020 - Presentation on INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving at Google AI.
Jun 2019 - Presentation on ACTRCE: Augmenting Experience via Teacher’s Advice For Multi-Goal Reinforcement Learning at Vector Institute.
Jun 2018 - Presentation on ACTRCE: Augmenting Experience via Teacher’s Advice For Multi-Goal Reinforcement Learning at ICML 2018 Goal Specifications for Reinforcement Learning Workshop.
Dec 2017 - Presentation on Scalable trust-region method for deep reinforcement learning using KFAC at NeurIPS 2017.
Sept 2017 - Presentation on Scalable trust-region method for deep reinforcement learning using KFAC at Microsoft Research Redmond.
Sept 2017 - Presentation on Scalable trust-region method for deep reinforcement learning using KFAC at Apple.
Sept 2017 - Presentation on Scalable trust-region method for deep reinforcement learning using KFAC at Google Brain.
Dec 2016 - Presentation on On the Quantitative Analysis of Decoder-Based Generative Models at NIPS workshop in Adversarial training.
Nov 2016 - Presentation on On the Quantitative Analysis of Decoder-Based Generative Models at OpenAI.
Aug 2016 - Gave two lectures on Introduction to Riemannian Geometry at U of T Machine Learning Group.
Apr 2016 - Presenation on Architectural Complexity Measures of Recurrent Neural Networks at Toyota Technological Institute at Chicago, Chicago.
Jan 2015 - Presentation on Discrete Equidecomposability and Ehrhart theory of Polygons at Joint Math Meeting, San Antonio,Texas, for a contributed talk session (Recent Advances in Discrete and Intuitive Geometry).
I am an organizer for
MATHAI workshop @ ICLR 2021: The Role of Mathematical Reasoning in General Artificial Intelligence
I am/was a reviewer for
NIPS2016, ICML2017, NIPS2017, AAAI2018, ICLR2018, NeurIPS2018, ICML2019, NeurIPS2019, ICLR2020, NeurIPS2020.