2022 Amazon Research Award
Formalizing FISA: using automated reasoning to formalize legal reasoning
2023 Amazon Research Award
Democratizing the Law - Using LLMs and Automated Reasoning for Legal Reasoning
Research topic
Automated reasoning
