Logic and Automata over Sequences with Data

Project Information

LASD

Grant agreement ID: 101089343

DOI

10.3030/101089343

EC signature date 25 May 2023

Start date 1 August 2023

End date 31 July 2028

Funded under

• European Research Council (ERC)

Total cost

€ 1 998 956,00

EU contribution

€ 1 998 956,00

Coordinated by

RHEINLAND-PFALZISCHE TECHNISCHE UNIVERSITAT
Germany

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (5)

The Role of Logic and Automata in Understanding Transformers

Author(s): Anthony W. Lin, Pablo Barcelo
Published in: Lecture Notes in Computer Science, Reachability Problems, 2025
Publisher: Springer Nature Switzerland
DOI: 10.48550/ARXIV.2509.24024

OSTRICH2: Solver for Complex String Constraints.

Author(s): Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Zhilin Wu
Published in: 2025
Publisher: TU Wien Academic Press
DOI: 10.48550/ARXIV.2506.14363

$$\textsf{HornStr}$$: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses

Author(s): Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Daniel Stan
Published in: Lecture Notes in Computer Science, Computer Aided Verification, 2025
Publisher: Springer
DOI: 10.1007/978-3-031-98668-0_10

Logical Languages Accepted by Transformer Encoders with Hard Attention

Author(s): Pablo Barcelo, Alexander Kozachinskiy, Anthony W. Lin, Vladimir V. Podolskii
Published in: 2024
Publisher: OpenReview.net

The Power of Hard Attention Transformers on Data Sequences: A formal language theoretic perspective.

Author(s): Pascal Bergsträßer, Chris Köcher, Anthony W. Lin, Georg Zetzsche
Published in: 2024
Publisher: Neural Information Processing Systems Foundation, Inc.

Peer reviewed articles (6)

The Power of Hard Attention Transformers on Data Sequences: A formal language theoretic perspective

Author(s): Pascal Bergsträßer; Chris Köcher; Anthony Widjaja Lin; Georg Zetzsche
Published in: Advances in Neural Information Processing Systems 37, 2024, ISSN 1049-5258
Publisher: Neural Information Processing Systems Foundation, Inc. (NeurIPS)
DOI: 10.48550/ARXIV.2405.16166

The Power of Regular Constraint Propagation

Author(s): Matthew Hague; Artur Jeż; Anthony Widjaja Lin; Oliver Markgraf; Philipp Rümmer
Published in: Proceedings of the ACM on Programming Languages, 2025, ISSN 2475-1421
Publisher: Association for Computing Machinery (ACM)
DOI: 10.1145/3763165

Regular Abstractions for Array Systems

Author(s): Chih-Duo Hong, Anthony W. Lin
Published in: Proceedings of the ACM on Programming Languages, Issue 8, 2024, ISSN 2475-1421
Publisher: Association for Computing Machinery (ACM)
DOI: 10.1145/3632864

Parikh’s Theorem Made Symbolic

Author(s): Matthew Hague, Artur Jeż, Anthony W. Lin
Published in: Proceedings of the ACM on Programming Languages, Issue 8, 2025, ISSN 2475-1421
Publisher: Association for Computing Machinery (ACM)
DOI: 10.1145/3632907

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis

Author(s): Shuanglong Kan; Anthony W. Lin
Published in: Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2026, ISSN 2475-1421
Publisher: Association for Computing Machinery (ACM)
DOI: 10.48550/ARXIV.2504.07203

The Power of Regular Constraint Propagation (Technical Report)

Author(s): Matthew Hague, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer
Published in: Proceedings of the ACM on programming languages, 2025, ISSN 2475-1421
Publisher: Association for Computing Machinery (ACM)
DOI: 10.48550/ARXIV.2508.19888