PhD Student
Tools and Algorithms for Construction and Analysis of Systems (TACAS)
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis
Computer Aided Verification (CAV)
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
International Conference on Learning Representations (ICLR)