Navin Goyal

Researcher, Microsoft

Joined

December 2017

Names

Navin Goyal

Emails

****@microsoft.com (Confirmed)

,

****@gmail.com (Confirmed)

Personal Links

Career & Education History

Researcher

Microsoft (microsoft.com)

2009 – Present

Postdoc

Georgia Institute of Technology (gatech.edu)

2007 – 2008

Postdoc

McGill University (mcgill.ca)

2005 – 2007

Graduate student

Rutgers University (rutgers.edu)

1998 – 2005

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

Towards a Mathematics Formalisation Assistant using Large Language Models
Ayush Agrawal, Siddhartha Gadgil, Navin Goyal, Ashvni Narayanan, Anand Tadipatri
- Published: 01 Feb 2023, Last Modified: 14 Jan 2026
- Submitted to ICLR 2023
- Readers: Everyone
Robust Identifiability in Linear Structural Equation Models of Causal Inference
Karthik Abinav Sankararaman, Anand Louis, Navin Goyal
- Published: 20 May 2022, Last Modified: 05 May 2023
- UAI 2022 Poster
- Readers: Everyone
Learning and Generalization in RNNs
Abhishek Panigrahi, Navin Goyal
- Published: 09 Nov 2021, Last Modified: 05 May 2023
- NeurIPS 2021 Poster
- Readers: Everyone
Learning and Generalization in Univariate Overparameterized Normalizing Flows
Kulin Shah, Amit Deshpande, Navin Goyal
- 28 Sept 2020 (modified: 05 May 2023)
- ICLR 2021 Conference Blind Submission
- Readers: Everyone
Do Transformers Understand Polynomial Simplification?
Vishesh Agarwal, Somak Aditya, Navin Goyal
- 28 Sept 2020 (modified: 05 May 2023)
- ICLR 2021 Conference Blind Submission
- Readers: Everyone

Co-Authors