conftrace_
← Foundations
Computer Science › Foundations ›

Formal Languages

113 papers

Papers per year

1
13
7
'15
'20
'25

Papers

Knowledge Compilation for Incremental and Checkable Stochastic Boolean Satisfiability IJCAI 2024
Solving Quantified Boolean Formulas with Few Existential Variables IJCAI 2024
Primal Grammars Driven Automated Induction IJCAI 2024
Angluin-Style Learning of Deterministic Büchi and Co-Büchi Automata IJCAI 2024
Correct and Optimal: The Regular Expression Inference Challenge IJCAI 2024
Anvil: Verifying Liveness of Cluster Management Controllers OSDI 2024
Lifting (D)QBF Preprocessing and Solving Techniques to (D)SSAT AAAI 2023
Characterizing Structural Hardness of Logic Programs: What Makes Cycles and Reachability Hard for Treewidth? AAAI 2023
Automata Cascades: Expressivity and Sample Complexity AAAI 2023
Convergence and Diversity in the Control Hierarchy ACL 2023
Working Towards Digital Documentation of Uralic Languages With Open-Source Tools and Modern NLP Methods EMNLP 2023
Moral Planning Agents with LTL Values IJCAI 2023
Co-Certificate Learning with SAT Modulo Symmetries IJCAI 2023
Characterizing the Program Expressive Power of Existential Rule Languages AAAI 2022
Simulating Feature Structures with Simple Types NAACL 2022
Logical Transductions for the Typology of Ditransitive Prosody NAACL 2022
DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols OSDI 2022
Verifying Hardware Security Modules with Information-Preserving Refinement OSDI 2022
Neural Circuit Synthesis from Specification Patterns NIPS 2021
SMT-based Safety Checking of Parameterized Multi-Agent Systems AAAI 2021
Parameterized Logical Theories AAAI 2021
Toward Determining NFA Equivalence via QBFs (Student Abstract) AAAI 2021
Recursive prosody is not finite-state ACL 2021
Recognizing Reduplicated Forms: Finite-State Buffered Machines ACL 2021
Deconstructing syntactic generalizations with minimalist grammars EMNLP 2021