If you are interested in Physics Informed Machine Learning, Neural Operators, Machine Learning Theory, Computational Complexity, Reinforcement Learning, Formal Methods, and other cool stuff, check out my Reading List below. I will be updating this list as I read more papers and books.
Neural Operators
- Kovachki, Nikola, et al. "Neural operator: Learning maps between function spaces." arXiv preprint arXiv:2108.08481 (2021).
- Li, Zongyi, et al. "Fourier neural operator for parametric partial differential equations." arXiv preprint arXiv:2010.08895 (2020).
- Li, Zongyi, et al. "Physics-informed neural operator for learning partial differential equations." arXiv preprint arXiv:2111.03794 (2021).
- Müller, Thomas, et al. "Instant neural graphics primitives with a multiresolution hash encoding." ACM Transactions on Graphics (ToG) 41.4 (2022): 1-15.
- Lu, Lu, et al. "DeepONet: Learning nonlinear operators for identifying differential equations based on the universal approximation theorem of operators." Nature Machine Intelligence 3.3 (2021): 218-229.
- Brandstetter, Johannes, et al. "Message passing neural PDE solvers." ICLR (2022).
- Li, Zongyi, et al. "Multipole graph neural operator for parametric partial differential equations." NeurIPS (2022).
Machine Learning Theory
- Foret, Pierre, et al. "Sharpness-aware minimization for efficiently improving generalization." arXiv preprint arXiv:2010.01412 (2020).
- Nakkiran, Preetum. 2021. Towards an Empirical Theory of Deep Learning. Doctoral dissertation, Harvard University Graduate School of Arts and Sciences.
- Zhang, Chiyuan, et al. "Understanding deep learning requires rethinking generalization." ICLR (2017).
- Belkin, Mikhail, et al. "Reconciling modern machine-learning practice and the classical bias–variance trade-off." PNAS 116.32 (2019): 15849-15854.
- Arora, Sanjeev, et al. "A compression approach to generalization bounds for neural networks." JMLR 21.63 (2020): 1-34.
- Bartlett, Peter L., et al. "Spectrally-normalized margin bounds for neural networks." NeurIPS (2017).
- Allen-Zhu, Zeyuan, et al. "Learning and generalization in overparameterized neural networks, going beyond two layers." NeurIPS (2019).
Reinforcement Learning
- Salimans, Tim, et al. "Evolution strategies as a scalable alternative to reinforcement learning." arXiv preprint arXiv:1703.03864 (2017).
- Sutton, R.S. & Barto, A.G., 2018. Reinforcement learning: An introduction, MIT press.
- Lattimore, Tor, Szepesvári, Csaba. Bandit Algorithms. Cambridge University Press, 2020.
- Mnih, Volodymyr, et al. "Human-level control through deep reinforcement learning." Nature 518.7540 (2015): 529-533.
- Schulman, John, et al. "Proximal policy optimization algorithms." arXiv preprint arXiv:1707.06347 (2017).
- Silver, David, et al. "Mastering the game of Go with deep neural networks and tree search." Nature 529.7587 (2016): 484-489.
- Coursera - Reinforcement Learning Specialization
Computational Complexity
- Dean, Walter, "Computational Complexity Theory", The Stanford Encyclopedia of Philosophy (Fall 2021 Edition), Edward N. Zalta (ed.), URL = link.
- Arora, Sanjeev, and Boaz Barak. Computational Complexity: A Modern Approach. Cambridge University Press, 2009.
- Fortnow, Lance. The Status of the P Versus NP Problem. Communications of the ACM, 52(9), 2009.
- Valiant, Leslie G. "The complexity of computing the permanent." Theoretical Computer Science 8.2 (1979): 189-201.
- Cook, Stephen. "The complexity of theorem-proving procedures." STOC (1971).
Lean & Formalization / Interactive Theorem Provers
- de Moura, Leonardo, et al. "The Lean theorem prover (system description)." CADE (2015).
- Han, X., et al. "ProofNet: Autoformalizing and Formally Verifying Mathematics with Language Models and Proof Assistants." arXiv preprint arXiv:2305.20050 (2023).
- Polu, S., et al. "Formalizing Mathematics with Large Language Models." arXiv preprint arXiv:2205.12615 (2022).
- Yang, Kaiyu, et al. "LeanDojo: Theorem proving with retrieval-augmented language models." NeurIPS (2023).
- Kumarappan, Adarsh, George, Robert Joseph, Anandkumar, Anima, et al. "LeanAgent: Lifelong Learning for Formal Theorem Proving." ICLR (2025).
- Suozhi Huang, George, Robert Joseph, Anandkumar, Anima, et al. "LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction." arXiv preprint arXiv:2502.17925 (2025).
- Wang, Yuhuai, et al. "Codex: Generating code from natural language in OpenAI Codex." arXiv preprint arXiv:2107.03374 (2021).
- Gauthier, Thomas, et al. "TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning." arXiv preprint arXiv:2203.11876 (2022).
- Blanchette, Jasmin Christian, et al. "Hammering towards QED." Journal of Formalized Reasoning 9.1 (2016): 101-148. (Isabelle/HOL)