I work broadly at the intersection of formal methods.
Publications
- From Transformers to Weighted Automata: Towards the Verification of Large Language Models, DataMod (2025). [PDF] [Slides]
Thesis
- Can Inductive Invariants be used to enhance efficiency of Bounded Model Checking (BMC), Chennai Mathematical Institute, 2025. [PDF]