Mathematics

My research interests lie in the application of mathematical tools to machine learning models, e.g., using tools from graph theory and stochastic processes to study graphical neural networks, and conversely, the application of artificial intelligence to mathematical proofs, e.g., automated theorem-proving and theorem-generation. With IDEAS, I also work to use more standard applications of machine ...