We gratefully acknowledge support from
the Simons Foundation and member institutions.

Formal Languages and Automata Theory

Authors and titles for recent submissions

[ total of 13 entries: 1-13 ]
[ showing up to 25 entries per page: fewer | more ]

Fri, 5 Dec 2025

[1]  arXiv:2512.04374 (cross-list from cs.CL) [pdf, ps, other]
Title: LangSAT: A Novel Framework Combining NLP and Reinforcement Learning for SAT Solving
Authors: Muyu Pan, Matthew Walter, Dheeraj Kodakandla, Mahfuza Farooque
Subjects: Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL)

Wed, 3 Dec 2025

[2]  arXiv:2512.02873 [pdf, ps, other]
Title: Symbolic ω-automata with obligations
Authors: Luca Di Stefano
Comments: 15 pages. Under review. For associated tool, see this https URL
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[3]  arXiv:2512.02617 (cross-list from cs.LO) [pdf, ps, other]
Title: The role of counting quantifiers in laminar set systems
Authors: Rutger Campbell, Noleen Köhler
Comments: 19 pages, 3 figures
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[4]  arXiv:2512.02080 (cross-list from cs.AI) [pdf, ps, other]
Title: The 4/$δ$ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
Authors: PIerre Dantas, Lucas Cordeiro, Youcheng Sun, Waldir Junior
Comments: 32 pages, 9 figures
Subjects: Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG); Software Engineering (cs.SE)

Tue, 2 Dec 2025

[5]  arXiv:2512.01973 [pdf, ps, other]
Title: Bounded treewidth, multiple context-free grammars, and downward closures
Authors: C. Aiswarya, Pascal Baumann, Prakash Saivasan, Lia Schütze, Georg Zetzsche
Subjects: Formal Languages and Automata Theory (cs.FL)
[6]  arXiv:2512.01872 [pdf, ps, other]
Title: Tahr: The Generative Attribute Grammar Framework
Authors: Matteo Ciccaglione, Pierciro Caliandro, Alessandro Pellegrini
Subjects: Formal Languages and Automata Theory (cs.FL)
[7]  arXiv:2512.00314 [pdf, ps, other]
Title: Counting and Sampling Traces in Regular Languages
Authors: Alexis de Colnet, Kuldeep S. Meel, Umang Mathur
Comments: To appear in POPL 2026. Author order is random
Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[8]  arXiv:2512.00297 [pdf, ps, other]
Title: Unconditional Time and Space Complexity Lower Bounds for Intersection Non-Emptiness
Authors: Michael Wehar
Comments: 11 pages, draft
Subjects: Formal Languages and Automata Theory (cs.FL)
[9]  arXiv:2512.01502 (cross-list from quant-ph) [pdf, ps, other]
Title: Formal Verification of Noisy Quantum Reinforcement Learning Policies
Authors: Dennis Gross
Subjects: Quantum Physics (quant-ph); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL)
[10]  arXiv:2512.01036 (cross-list from cs.PL) [pdf, ps, other]
Title: A Word Sampler for Well-Typed Functions
Authors: Breandan Considine
Comments: 2 pages
Subjects: Programming Languages (cs.PL); Formal Languages and Automata Theory (cs.FL)

Mon, 1 Dec 2025

[11]  arXiv:2511.22979 [pdf, ps, other]
Title: The Target Discounted-Sum Problem
Authors: Udi Boker, Thomas A. Henzinger, Jan Otop
Comments: This paper refines and expands the LICS 2015 paper with the same title (DOI 10.1109/LICS.2015.74), and in particular fixes the statements of Theorems 23, 25, and 26
Subjects: Formal Languages and Automata Theory (cs.FL)
[12]  arXiv:2511.22588 [pdf, ps, other]
Title: Extended branching Rauzy induction
Authors: Francesco Dolce, Christian B. Hughes
Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM); Dynamical Systems (math.DS)

Thu, 27 Nov 2025

[13]  arXiv:2511.21559 [pdf, ps, other]
Title: General Decidability Results for Systems with Continuous Counters
Authors: A. R. Balasubramanian, Matthew Hague, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[ total of 13 entries: 1-13 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2512, contact, help  (Access key information)