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

Formal Languages and Automata Theory

Authors and titles for recent submissions, skipping first 3

[ total of 17 entries: 1-10 | 4-13 | 14-17 ]
[ showing 10 entries per page: fewer | more | all ]

Tue, 9 Dec 2025 (continued, showing last 2 of 5 entries)

[4]  arXiv:2512.07434 (cross-list from cs.SE) [pdf, ps, other]
Title: Systematic Evaluation of Black-Box Checking for Fast Bug Detection
Authors: Bram Pellen, María Belén Rodríguez, Frits Vaandrager, Petra van den Bos
Comments: 23 pages, 4 figures
Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL)
[5]  arXiv:2512.06466 (cross-list from cs.LO) [pdf, ps, other]
Title: A finer reparameterisation theorem for MSO and FO queries on strings
Authors: Lê Thành Dũng Nguyên, Paweł Parys
Comments: 4 pages; not submitted to a journal yet, some details need to be fleshed out
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

Mon, 8 Dec 2025

[6]  arXiv:2512.05609 [pdf, other]
Title: On the Impact of the Communication Model on Realisability
Authors: Cinzia Di Giusto (Laboratoire I3S - COMRED, I3S), Etienne Lozes (I3S, Laboratoire I3S - COMRED, SCALE), Pascal Urso (I3S)
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[7]  arXiv:2512.05439 (cross-list from cs.AI) [pdf, ps, other]
Title: BEAVER: An Efficient Deterministic LLM Verifier
Authors: Tarun Suresh, Nalin Wadhwa, Debangshu Banerjee, Gagandeep Singh
Subjects: Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL)

Fri, 5 Dec 2025

[8]  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

[9]  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)
[10]  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)
[11]  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 (showing first 2 of 6 entries)

[12]  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)
[13]  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)
[ total of 17 entries: 1-10 | 4-13 | 14-17 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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