Awards

  • 2021 Banting Postdoc Fellowship (Declined)
  • 2017-2020 Google PhD Fellowship
  • 2017-2020 NSERC Canada Graduate Scholarship Doctoral
  • 2017 Microsoft PhD Fellowship finalist
  • 2015-2016 NSERC Canada Graduate Scholarship Masters
  • 2014 NSERC USRA award (Declined)
  • 2013-2015 Edwin Jacob Special University Scholarship
  • 2013-2015 Alumni Undergraduate Scholarship
  • 2014-2015 Norman Brougham Miller Scholarship
  • 2014-2015 Ken Ireland Memorial Scholarship
  • 2013-2014 Science Discovery Scholarship
  • 2013-2014 Mr. & Mrs. Conrad J. Osman Scholarship

Talks

    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).

Service

I am an organizer for

MATHAI4ED workshop @ NeurIPS 2021: Math AI for Education: Bridging the Gap Between Research and Smart Education

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.