Skip to main content
Vai all'homepage della Commissione europea (si apre in una nuova finestra)
italiano italiano
CORDIS - Risultati della ricerca dell’UE
CORDIS

Logic and Automata over Sequences with Data

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

The Role of Logic and Automata in Understanding Transformers (si apre in una nuova finestra)

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

OSTRICH2: Solver for Complex String Constraints. (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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.

Regular Abstractions for Array Systems (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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) (si apre in una nuova finestra)

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

È in corso la ricerca di dati su OpenAIRE...

Si è verificato un errore durante la ricerca dei dati su OpenAIRE

Nessun risultato disponibile

Il mio fascicolo 0 0