Formal Languages and Automata Theory

Authors and titles for recent submissions, skipping first 2

[ total of 13 entries: 1-5 | 3-7 | 8-12 | 13 ]
[ showing 5 entries per page: fewer | more | all ]

[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)

[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)

[ total of 13 entries: 1-5 | 3-7 | 8-12 | 13 ]
[ showing 5 entries per page: fewer | more | all ]