Logic and Automata over Sequences with Data

Informazioni relative al progetto

LASD

ID dell’accordo di sovvenzione: 101089343

DOI

10.3030/101089343

Data della firma CE 25 Maggio 2023

Data di avvio 1 Agosto 2023

Data di completamento 31 Luglio 2028

Finanziato da

• European Research Council (ERC)

Costo totale

€ 1 998 956,00

Contributo UE

€ 1 998 956,00

Coordinato da

RHEINLAND-PFALZISCHE TECHNISCHE UNIVERSITAT
Germany

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Conference proceedings (10)

The Role of Logic and Automata in Understanding Transformers

Autori: Anthony W. Lin, Pablo Barcelo
Pubblicato in: Lecture Notes in Computer Science, Reachability Problems, 2025
Editore: Springer Nature Switzerland
DOI: 10.48550/ARXIV.2509.24024

Softmax Transformers are Turing-Complete

Autori: Hongjian Jiang; Michael Hahn; Georg Zetzsche; Anthony Widjaja Lin
Pubblicato in: 2026
Editore: ICLR

Probability Distributions Computed by Hard-Attention Transformers

Autori: Andy Yang; Anej Svete; Jiaoda Li; Anthony W. Lin; Jonathan Rawski; Ryan Cotterell; David Chiang
Pubblicato in: 2026
Editore: ICLR

OSTRICH2: Solver for Complex String Constraints.

Autori: Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Zhilin Wu
Pubblicato in: 2025
Editore: TU Wien Academic Press
DOI: 10.48550/ARXIV.2506.14363

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

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

Complexity of Evaluating GQL Queries

Autori: Diego Figueira; Anthony W. Lin; Liat Peterfreund
Pubblicato in: 2026
Editore: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPICS.ICDT.2026.13

Logical Languages Accepted by Transformer Encoders with Hard Attention

Autori: Pablo Barcelo, Alexander Kozachinskiy, Anthony W. Lin, Vladimir V. Podolskii
Pubblicato in: 2024
Editore: OpenReview.net

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

Autori: Pascal Bergsträßer, Chris Köcher, Anthony W. Lin, Georg Zetzsche
Pubblicato in: 2024
Editore: Neural Information Processing Systems Foundation, Inc.

Transformers are Inherently Succinct

Autori: Pascal Bergsträßer; Ryan Cotterell; Anthony Widjaja Lin
Pubblicato in: 2026
Editore: ICLR

The Counting Power of Transformers

Autori: Marco Sälzer; Chris Köcher; Alexander Kozachinskiy; Georg Zetzsche; Anthony Widjaja Lin
Pubblicato in: 2026
Editore: ICLR

Peer reviewed articles (7)

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

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

The Power of Regular Constraint Propagation

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

Regular Abstractions for Array Systems

Autori: Chih-Duo Hong, Anthony W. Lin
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero 8, 2024, ISSN 2475-1421
Editore: Association for Computing Machinery (ACM)
DOI: 10.1145/3632864

Parikh’s Theorem Made Symbolic

Autori: Matthew Hague, Artur Jeż, Anthony W. Lin
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero 8, 2025, ISSN 2475-1421
Editore: Association for Computing Machinery (ACM)
DOI: 10.1145/3632907

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification

Autori: Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer, Rupak Majumdar
Pubblicato in: IEEE Transactions on Software Engineering, Numero 51, 2025, ISSN 0098-5589
Editore: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.1109/TSE.2025.3567423

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis

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

The Power of Regular Constraint Propagation (Technical Report)

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