Formal Languages and Automata Theory

Authors and titles for recent submissions

See today's new changes

Total of 6 entries

Showing up to 50 entries per page: fewer | more | all

[1] arXiv:2508.12853 [pdf, html, other]: Title: Box-Reachability in Vector Addition Systems

Shaull Almagor, Itay Hasson, Michał Pilipczuk, Michael Zaslavski

Subjects: Formal Languages and Automata Theory (cs.FL)
[2] arXiv:2508.12344 [pdf, html, other]: Title: Structural Abstraction and Refinement for Probabilistic Programs

Guanyan Li, Juanen Li, Zhilei Han, Peixin Wang, Hongfei Fu, Fei He

Comments: Accepted by OOPSLA

Subjects: Formal Languages and Automata Theory (cs.FL)
[3] arXiv:2508.12475 (cross-list from cs.PL) [pdf, html, other]: Title: Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints

Abhijit Paul

Comments: Accepted as Extended Abstract in TyDe Workshop 2025,co-located with ICFP

Subjects: Programming Languages (cs.PL); Formal Languages and Automata Theory (cs.FL)

[4] arXiv:2508.11019 (cross-list from cs.LO) [pdf, html, other]: Title: Characterizing NC1 with Typed Monoids

Anuj Dawar, Aidan T. Evans

Comments: 22 pages

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

[5] arXiv:2508.10535 [pdf, html, other]: Title: Active Automata Learning with Advice

Michał Fica, Jan Otop

Comments: The full version of the paper accepted to ECAI 2025

Subjects: Formal Languages and Automata Theory (cs.FL)
[6] arXiv:2508.10111 (cross-list from cs.LG) [pdf, html, other]: Title: Constrained Decoding of Diffusion LLMs with Context-Free Grammars

Niels Mündler, Jasper Dekoninck, Martin Vechev

Subjects: Machine Learning (cs.LG); Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL); Software Engineering (cs.SE)

No updates for this time period.

No updates for this time period.

Total of 6 entries

Showing up to 50 entries per page: fewer | more | all