Logic and Automata over Sequences with Data

Informacje na temat projektu

LASD

Identyfikator umowy o grant: 101089343

DOI

10.3030/101089343

Data podpisania przez KE 25 Maja 2023

Data rozpoczęcia 1 Sierpnia 2023

Data zakończenia 31 Lipca 2028

Finansowanie w ramach

• European Research Council (ERC)

Koszt całkowity

€ 1 998 956,00

Wkład UE

€ 1 998 956,00

Koordynowany przez

RHEINLAND-PFALZISCHE TECHNISCHE UNIVERSITAT
Germany

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Conference proceedings (10)

The Role of Logic and Automata in Understanding Transformers

Autorzy: Anthony W. Lin, Pablo Barcelo
Opublikowane w: Lecture Notes in Computer Science, Reachability Problems, 2025
Wydawca: Springer Nature Switzerland
DOI: 10.48550/ARXIV.2509.24024

Softmax Transformers are Turing-Complete

Autorzy: Hongjian Jiang; Michael Hahn; Georg Zetzsche; Anthony Widjaja Lin
Opublikowane w: 2026
Wydawca: ICLR

Probability Distributions Computed by Hard-Attention Transformers

Autorzy: Andy Yang; Anej Svete; Jiaoda Li; Anthony W. Lin; Jonathan Rawski; Ryan Cotterell; David Chiang
Opublikowane w: 2026
Wydawca: ICLR

OSTRICH2: Solver for Complex String Constraints.

Autorzy: Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Zhilin Wu
Opublikowane w: 2025
Wydawca: TU Wien Academic Press
DOI: 10.48550/ARXIV.2506.14363

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

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

Complexity of Evaluating GQL Queries

Autorzy: Diego Figueira; Anthony W. Lin; Liat Peterfreund
Opublikowane w: 2026
Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPICS.ICDT.2026.13

Logical Languages Accepted by Transformer Encoders with Hard Attention

Autorzy: Pablo Barcelo, Alexander Kozachinskiy, Anthony W. Lin, Vladimir V. Podolskii
Opublikowane w: 2024
Wydawca: OpenReview.net

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

Autorzy: Pascal Bergsträßer, Chris Köcher, Anthony W. Lin, Georg Zetzsche
Opublikowane w: 2024
Wydawca: Neural Information Processing Systems Foundation, Inc.

Transformers are Inherently Succinct

Autorzy: Pascal Bergsträßer; Ryan Cotterell; Anthony Widjaja Lin
Opublikowane w: 2026
Wydawca: ICLR

The Counting Power of Transformers

Autorzy: Marco Sälzer; Chris Köcher; Alexander Kozachinskiy; Georg Zetzsche; Anthony Widjaja Lin
Opublikowane w: 2026
Wydawca: ICLR

Peer reviewed articles (7)

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

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

The Power of Regular Constraint Propagation

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

Regular Abstractions for Array Systems

Autorzy: Chih-Duo Hong, Anthony W. Lin
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 8, 2024, ISSN 2475-1421
Wydawca: Association for Computing Machinery (ACM)
DOI: 10.1145/3632864

Parikh’s Theorem Made Symbolic

Autorzy: Matthew Hague, Artur Jeż, Anthony W. Lin
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 8, 2025, ISSN 2475-1421
Wydawca: Association for Computing Machinery (ACM)
DOI: 10.1145/3632907

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification

Autorzy: Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer, Rupak Majumdar
Opublikowane w: IEEE Transactions on Software Engineering, Numer 51, 2025, ISSN 0098-5589
Wydawca: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.1109/TSE.2025.3567423

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis

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

The Power of Regular Constraint Propagation (Technical Report)

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