 Retrieval-Guided Reinforcement Learning for Boolean Circuit MinimizationInternational Conference on Learning Representations (ICLR), 2024 |
 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 |
 Iterative Circuit Repair Against Formal SpecificationsInternational Conference on Learning Representations (ICLR), 2023 |
 Autoformalization with Large Language ModelsNeural Information Processing Systems (NeurIPS), 2022 |
