Logic and Automata over Sequences with Data

Informazioni relative al progetto

LASD

ID dell’accordo di sovvenzione: 101089343

DOI

10.3030/101089343

Data della firma CE 25 Maggio 2023

Data di avvio 1 Agosto 2023

Data di completamento 31 Luglio 2028

Finanziato da

• European Research Council (ERC)

Costo totale

€ 1 998 956,00

Contributo UE

€ 1 998 956,00

Coordinato da

RHEINLAND-PFALZISCHE TECHNISCHE UNIVERSITAT
Germany

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Conference proceedings (5)

The Role of Logic and Automata in Understanding Transformers

Autori: Anthony W. Lin, Pablo Barcelo
Pubblicato in: 2025
Editore: Springer
DOI: 10.48550/ARXIV.2509.24024

OSTRICH2: Solver for Complex String Constraints.

Autori: Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Zhilin Wu
Pubblicato in: 2025
Editore: TU Wien Academic Press
DOI: 10.48550/ARXIV.2506.14363

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

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

Logical Languages Accepted by Transformer Encoders with Hard Attention

Autori: Pablo Barcelo, Alexander Kozachinskiy, Anthony W. Lin, Vladimir V. Podolskii
Pubblicato in: 2024
Editore: OpenReview.net

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

Autori: Pascal Bergsträßer, Chris Köcher, Anthony W. Lin, Georg Zetzsche
Pubblicato in: 2024
Editore: Neural Information Processing Systems Foundation, Inc.

Peer reviewed articles (3)

Regular Abstractions for Array Systems

Autori: Chih-Duo Hong, Anthony W. Lin
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero 8, 2024, ISSN 2475-1421
Editore: Association for Computing Machinery (ACM)
DOI: 10.1145/3632864

Parikh’s Theorem Made Symbolic

Autori: Matthew Hague, Artur Jeż, Anthony W. Lin
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero 8, 2025, ISSN 2475-1421
Editore: Association for Computing Machinery (ACM)
DOI: 10.1145/3632907

The Power of Regular Constraint Propagation (Technical Report)

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