2025 Amazon Research Award
Evaluating and Improving Quantitative Reasoning in LLM Agents Using Sandbox Coding Tasks and Formal Tools
Research topic
Automated reasoning
2024 Amazon Research Award
Monte Carlo Trees with Conflict Models for Proof Search
Research topic
Automated reasoning
2023 Amazon Research Award
Proof Optimization and Generalization in dReal
Research topic
Automated reasoning
2022 Amazon Research Award
Monte Carlo tree methods for decision-making in dReal
