finite automaton

Regular Games -- an Automata-Based General Game Playing Language AAAI 2026 Algorithm Development in Neural Networks: Insights from the Streaming Parity Task ICML 2025 LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces IJCAI 2025 Realistic Training Data Generation and Rule Enhanced Decoding in LLM for NameGuess EMNLP 2025 Adaptable Logical Control for Large Language Models NeurIPS 2024 Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning NeurIPS 2024 DFA-RAG: Conversational Semantic Router for Large Language Model with Definite Finite Automaton ICML 2024 Evaluating the World Model Implicit in a Generative Model NeurIPS 2024 Foundations of Reactive Synthesis for Declarative Process Specifications AAAI 2024 PyFoma: a Python finite-state compiler module ACL 2024 Automata Cascades: Expressivity and Sample Complexity AAAI 2023 Synchronization and Diversity of Solutions AAAI 2023 Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval ICML 2022 Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications AAAI 2020 Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks ICLR 2019 Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples ICML 2018 PAC-learnability of Probabilistic Deterministic Finite State Automata JMLR 2004