conftrace_

deterministic finite automata

6 papers

Explore in graph

Also known as

DFA

Co-occurring keywords · papers mentioning both

latent state-tracking (1) weighted tree automata (1) weighted finite automata (1) automata simulation (1) regex manipulation (1) learning in the limit (1) precision (1) c-rasp (1) minimum-complexity interpolator (1) non-asymptotic length complexity (1)

Papers

Query4Regex: Verifiable Regex Transformation through Formal Operations from NL and DSL Queries EACL 2026 Space-Efficient Language Generation in the Limit COLT 2026 Critical Thinking: Which Kinds of Complexity Govern Optimal Reasoning Length? IJCNLP 2025 Non-Asymptotic Length Generalization ICML 2025 Simulating weighted automata over sequences and trees with transformers AISTATS 2024 Active Coevolutionary Learning of Deterministic Finite Automata JMLR 2005