Conference on Neural Information Processing Systems (NeurIPS)
Learning Better Representations From Less Data For Propositional Satisfiability.
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)
Conference on Neural Information Processing Systems (NeurIPS)
Conference on Artificial Intelligence and Theorem Proving (AITP)
International Conference on Learning Representations (ICLR)