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 (5)

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

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

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.

Peer reviewed articles (6)

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

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