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

The Role of Logic and Automata in Understanding Transformers

Autoren: Anthony W. Lin, Pablo Barcelo
Veröffentlicht in: 2025
Herausgeber: Springer
DOI: 10.48550/ARXIV.2509.24024

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

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.

Peer reviewed articles (3)

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

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