Formal Languages

A Characterization of List Language Identification in the Limit COLT 2026 An Information-Theoretic Foundation for the Subregular Hierarchy ACL 2026 Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction AAAI 2026 Language Identification with Succinct Machine-Independent Traces COLT 2026 On the Hardness of Learning Regular Expressions ALT 2026 On the Statistical Query Complexity of Learning Semiautomata: a Random Walk Approach COLT 2026 Prefix Parsing is Just Parsing ACL 2026 RT: Regular Types for the Streaming Shell OSDI 2026 Space-Efficient Language Generation in the Limit COLT 2026 An Expert System for Danish Traffic Law Cases (Student Abstract) AAAI 2025 Automated Strategy Invention for Confluence of Term Rewrite Systems IJCAI 2025 Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols OSDI 2025 CRANE: Reasoning with constrained LLM generation ICML 2025 First-Order Automata AAAI 2025 Harmonizing Annotation of Turkic Postverbial Constructions: A Comparative Study of UD Treebanks COLING 2025 Symbolic Functional Decomposition: A Reconfiguration Approach AAAI 2025 Unique Hard Attention: A Tale of Two Sides ACL 2025 A Compiler for Weak Decomposable Negation Normal Form AAAI 2024 An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes AAAI 2024 Angluin-Style Learning of Deterministic Büchi and Co-Büchi Automata IJCAI 2024 An L* Algorithm for Deterministic Weighted Regular Languages EMNLP 2024 Anvil: Verifying Liveness of Cluster Management Controllers OSDI 2024 Building a Broad Infrastructure for Uniform Meaning Representations COLING 2024 Correct and Optimal: The Regular Expression Inference Challenge IJCAI 2024 Decompositions in Compositional Translation of LTLf to DFA (Student Abstract) AAAI 2024