Logic and Automata over Sequences with Data

Informations projet

LASD

N° de convention de subvention: 101089343

DOI

10.3030/101089343

Date de signature de la CE 25 Mai 2023

Date de début 1 Août 2023

Date de fin 31 Juillet 2028

Financé au titre de

• European Research Council (ERC)

Coût total

€ 1 998 956,00

Contribution de l’UE

€ 1 998 956,00

Coordonné par

RHEINLAND-PFALZISCHE TECHNISCHE UNIVERSITAT
Germany

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (10)

The Role of Logic and Automata in Understanding Transformers

Auteurs: Anthony W. Lin, Pablo Barcelo
Publié dans: Lecture Notes in Computer Science, Reachability Problems, 2025
Éditeur: Springer Nature Switzerland
DOI: 10.48550/ARXIV.2509.24024

Softmax Transformers are Turing-Complete

Auteurs: Hongjian Jiang; Michael Hahn; Georg Zetzsche; Anthony Widjaja Lin
Publié dans: 2026
Éditeur: ICLR

Probability Distributions Computed by Hard-Attention Transformers

Auteurs: Andy Yang; Anej Svete; Jiaoda Li; Anthony W. Lin; Jonathan Rawski; Ryan Cotterell; David Chiang
Publié dans: 2026
Éditeur: ICLR

OSTRICH2: Solver for Complex String Constraints.

Auteurs: Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Zhilin Wu
Publié dans: 2025
Éditeur: TU Wien Academic Press
DOI: 10.48550/ARXIV.2506.14363

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

Auteurs: Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Daniel Stan
Publié dans: Lecture Notes in Computer Science, Computer Aided Verification, 2025
Éditeur: Springer
DOI: 10.1007/978-3-031-98668-0_10

Complexity of Evaluating GQL Queries

Auteurs: Diego Figueira; Anthony W. Lin; Liat Peterfreund
Publié dans: 2026
Éditeur: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPICS.ICDT.2026.13

Logical Languages Accepted by Transformer Encoders with Hard Attention

Auteurs: Pablo Barcelo, Alexander Kozachinskiy, Anthony W. Lin, Vladimir V. Podolskii
Publié dans: 2024
Éditeur: OpenReview.net

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

Auteurs: Pascal Bergsträßer, Chris Köcher, Anthony W. Lin, Georg Zetzsche
Publié dans: 2024
Éditeur: Neural Information Processing Systems Foundation, Inc.

Transformers are Inherently Succinct

Auteurs: Pascal Bergsträßer; Ryan Cotterell; Anthony Widjaja Lin
Publié dans: 2026
Éditeur: ICLR

The Counting Power of Transformers

Auteurs: Marco Sälzer; Chris Köcher; Alexander Kozachinskiy; Georg Zetzsche; Anthony Widjaja Lin
Publié dans: 2026
Éditeur: ICLR

Peer reviewed articles (7)

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

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

The Power of Regular Constraint Propagation

Auteurs: Matthew Hague; Artur Jeż; Anthony Widjaja Lin; Oliver Markgraf; Philipp Rümmer
Publié dans: Proceedings of the ACM on Programming Languages, 2025, ISSN 2475-1421
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3763165

Regular Abstractions for Array Systems

Auteurs: Chih-Duo Hong, Anthony W. Lin
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 8, 2024, ISSN 2475-1421
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3632864

Parikh’s Theorem Made Symbolic

Auteurs: Matthew Hague, Artur Jeż, Anthony W. Lin
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 8, 2025, ISSN 2475-1421
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3632907

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification

Auteurs: Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer, Rupak Majumdar
Publié dans: IEEE Transactions on Software Engineering, Numéro 51, 2025, ISSN 0098-5589
Éditeur: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.1109/TSE.2025.3567423

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis

Auteurs: Shuanglong Kan; Anthony W. Lin
Publié dans: Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2026, ISSN 2475-1421
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.48550/ARXIV.2504.07203

The Power of Regular Constraint Propagation (Technical Report)

Auteurs: Matthew Hague, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer
Publié dans: Proceedings of the ACM on programming languages, 2025, ISSN 2475-1421
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.48550/ARXIV.2508.19888