Logic and Automata over Sequences with Data

Projektinformationen

LASD

ID Finanzhilfevereinbarung: 101089343

DOI

10.3030/101089343

EK-Unterschriftsdatum 25 Mai 2023

Startdatum 1 August 2023

Enddatum 31 Juli 2028

Finanziert unter

• European Research Council (ERC)

Gesamtkosten

€ 1 998 956,00

EU-Beitrag

€ 1 998 956,00

Koordiniert durch

RHEINLAND-PFALZISCHE TECHNISCHE UNIVERSITAT
Germany

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Conference proceedings (10)

The Role of Logic and Automata in Understanding Transformers

Autoren: Anthony W. Lin, Pablo Barcelo
Veröffentlicht in: Lecture Notes in Computer Science, Reachability Problems, 2025
Herausgeber: Springer Nature Switzerland
DOI: 10.48550/ARXIV.2509.24024

Softmax Transformers are Turing-Complete

Autoren: Hongjian Jiang; Michael Hahn; Georg Zetzsche; Anthony Widjaja Lin
Veröffentlicht in: 2026
Herausgeber: ICLR

Probability Distributions Computed by Hard-Attention Transformers

Autoren: Andy Yang; Anej Svete; Jiaoda Li; Anthony W. Lin; Jonathan Rawski; Ryan Cotterell; David Chiang
Veröffentlicht in: 2026
Herausgeber: ICLR

OSTRICH2: Solver for Complex String Constraints.

Autoren: Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Zhilin Wu
Veröffentlicht in: 2025
Herausgeber: TU Wien Academic Press
DOI: 10.48550/ARXIV.2506.14363

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

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

Complexity of Evaluating GQL Queries

Autoren: Diego Figueira; Anthony W. Lin; Liat Peterfreund
Veröffentlicht in: 2026
Herausgeber: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPICS.ICDT.2026.13

Logical Languages Accepted by Transformer Encoders with Hard Attention

Autoren: Pablo Barcelo, Alexander Kozachinskiy, Anthony W. Lin, Vladimir V. Podolskii
Veröffentlicht in: 2024
Herausgeber: OpenReview.net

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

Autoren: Pascal Bergsträßer, Chris Köcher, Anthony W. Lin, Georg Zetzsche
Veröffentlicht in: 2024
Herausgeber: Neural Information Processing Systems Foundation, Inc.

Transformers are Inherently Succinct

Autoren: Pascal Bergsträßer; Ryan Cotterell; Anthony Widjaja Lin
Veröffentlicht in: 2026
Herausgeber: ICLR

The Counting Power of Transformers

Autoren: Marco Sälzer; Chris Köcher; Alexander Kozachinskiy; Georg Zetzsche; Anthony Widjaja Lin
Veröffentlicht in: 2026
Herausgeber: ICLR

Peer reviewed articles (7)

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

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

The Power of Regular Constraint Propagation

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

Regular Abstractions for Array Systems

Autoren: Chih-Duo Hong, Anthony W. Lin
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 8, 2024, ISSN 2475-1421
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3632864

Parikh’s Theorem Made Symbolic

Autoren: Matthew Hague, Artur Jeż, Anthony W. Lin
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 8, 2025, ISSN 2475-1421
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3632907

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification

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

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis

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

The Power of Regular Constraint Propagation (Technical Report)

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