2021 Amazon Research Award
Combining Neural and Symbolic Methods in Theorem Proving
2023 Amazon Research Award
Learning Based Synthesis Meets Learning Guided Reasoning
Research topic
Automated reasoning
