Logic and Automata over Sequences with Data

Información del proyecto

LASD

Identificador del acuerdo de subvención: 101089343

DOI

10.3030/101089343

Fecha de la firma de la CE 25 Mayo 2023

Fecha de inicio 1 Agosto 2023

Fecha de finalización 31 Julio 2028

Financiado con arreglo a

• European Research Council (ERC)

Coste total

€ 1 998 956,00

Aportación de la UE

€ 1 998 956,00

Coordinado por

RHEINLAND-PFALZISCHE TECHNISCHE UNIVERSITAT
Germany

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Conference proceedings (5)

The Role of Logic and Automata in Understanding Transformers

Autores: Anthony W. Lin, Pablo Barcelo
Publicado en: 2025
Editor: Springer
DOI: 10.48550/ARXIV.2509.24024

OSTRICH2: Solver for Complex String Constraints.

Autores: Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Zhilin Wu
Publicado en: 2025
Editor: TU Wien Academic Press
DOI: 10.48550/ARXIV.2506.14363

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

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

Logical Languages Accepted by Transformer Encoders with Hard Attention

Autores: Pablo Barcelo, Alexander Kozachinskiy, Anthony W. Lin, Vladimir V. Podolskii
Publicado en: 2024
Editor: OpenReview.net

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

Autores: Pascal Bergsträßer, Chris Köcher, Anthony W. Lin, Georg Zetzsche
Publicado en: 2024
Editor: Neural Information Processing Systems Foundation, Inc.

Peer reviewed articles (3)

Regular Abstractions for Array Systems

Autores: Chih-Duo Hong, Anthony W. Lin
Publicado en: Proceedings of the ACM on Programming Languages, Edición 8, 2024, ISSN 2475-1421
Editor: Association for Computing Machinery (ACM)
DOI: 10.1145/3632864

Parikh’s Theorem Made Symbolic

Autores: Matthew Hague, Artur Jeż, Anthony W. Lin
Publicado en: Proceedings of the ACM on Programming Languages, Edición 8, 2025, ISSN 2475-1421
Editor: Association for Computing Machinery (ACM)
DOI: 10.1145/3632907

The Power of Regular Constraint Propagation (Technical Report)

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