Logic and Automata over Sequences with Data

Información del proyecto

LASD

Identificador del acuerdo de subvención: 101089343

DOI

10.3030/101089343

Fecha de la firma de la CE 25 Mayo 2023

Fecha de inicio 1 Agosto 2023

Fecha de finalización 31 Julio 2028

Financiado con arreglo a

• European Research Council (ERC)

Coste total

€ 1 998 956,00

Aportación de la UE

€ 1 998 956,00

Coordinado por

RHEINLAND-PFALZISCHE TECHNISCHE UNIVERSITAT
Germany

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Conference proceedings (10)

The Role of Logic and Automata in Understanding Transformers

Autores: Anthony W. Lin, Pablo Barcelo
Publicado en: Lecture Notes in Computer Science, Reachability Problems, 2025
Editor: Springer Nature Switzerland
DOI: 10.48550/ARXIV.2509.24024

Softmax Transformers are Turing-Complete

Autores: Hongjian Jiang; Michael Hahn; Georg Zetzsche; Anthony Widjaja Lin
Publicado en: 2026
Editor: ICLR

Probability Distributions Computed by Hard-Attention Transformers

Autores: Andy Yang; Anej Svete; Jiaoda Li; Anthony W. Lin; Jonathan Rawski; Ryan Cotterell; David Chiang
Publicado en: 2026
Editor: ICLR

OSTRICH2: Solver for Complex String Constraints.

Autores: Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Zhilin Wu
Publicado en: 2025
Editor: TU Wien Academic Press
DOI: 10.48550/ARXIV.2506.14363

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

Autores: Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Daniel Stan
Publicado en: Lecture Notes in Computer Science, Computer Aided Verification, 2025
Editor: Springer
DOI: 10.1007/978-3-031-98668-0_10

Complexity of Evaluating GQL Queries

Autores: Diego Figueira; Anthony W. Lin; Liat Peterfreund
Publicado en: 2026
Editor: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPICS.ICDT.2026.13

Logical Languages Accepted by Transformer Encoders with Hard Attention

Autores: Pablo Barcelo, Alexander Kozachinskiy, Anthony W. Lin, Vladimir V. Podolskii
Publicado en: 2024
Editor: OpenReview.net

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

Autores: Pascal Bergsträßer, Chris Köcher, Anthony W. Lin, Georg Zetzsche
Publicado en: 2024
Editor: Neural Information Processing Systems Foundation, Inc.

Transformers are Inherently Succinct

Autores: Pascal Bergsträßer; Ryan Cotterell; Anthony Widjaja Lin
Publicado en: 2026
Editor: ICLR

The Counting Power of Transformers

Autores: Marco Sälzer; Chris Köcher; Alexander Kozachinskiy; Georg Zetzsche; Anthony Widjaja Lin
Publicado en: 2026
Editor: ICLR

Peer reviewed articles (7)

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

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

The Power of Regular Constraint Propagation

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

Regular Abstractions for Array Systems

Autores: Chih-Duo Hong, Anthony W. Lin
Publicado en: Proceedings of the ACM on Programming Languages, Edición 8, 2024, ISSN 2475-1421
Editor: Association for Computing Machinery (ACM)
DOI: 10.1145/3632864

Parikh’s Theorem Made Symbolic

Autores: Matthew Hague, Artur Jeż, Anthony W. Lin
Publicado en: Proceedings of the ACM on Programming Languages, Edición 8, 2025, ISSN 2475-1421
Editor: Association for Computing Machinery (ACM)
DOI: 10.1145/3632907

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification

Autores: Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer, Rupak Majumdar
Publicado en: IEEE Transactions on Software Engineering, Edición 51, 2025, ISSN 0098-5589
Editor: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.1109/TSE.2025.3567423

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis

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

The Power of Regular Constraint Propagation (Technical Report)

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