2024 Amazon Research Award
LLM-Augmented Semi-Automated Proofs for Interactive Verification
Research topic
Automated reasoning
2021 Amazon Research Award
“Extensible models and proofs”
