 NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive SynthesisInternational Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2024 |
 Guessing Winning Policies in LTL Synthesis by Semantic LearningInternational Conference on Computer Aided Verification (CAV), 2023 |
 nl2spec: Interactively Translating Unstructured Natural Language to
Temporal Logics with Large Language ModelsInternational Conference on Computer Aided Verification (CAV), 2023 |
