Google Research

Aditya Paliwal

About

I am working in an interdisciplinary field that combines machine learning with state-of-the-art combinatorial optimization methods for large scale optimization. I am also working on Deep Learning methods for Automated Theorem Proving

Learn more about how we do research

We maintain a portfolio of research projects, providing individuals and teams the freedom to emphasize specific types of work