Buchumschlag

Correct and Optimal: the Regular Expression Inference Challenge

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Valizadeh, Mojtaba, Gorinski, Philip John, Iacobacci, Ignacio, Berger, Martin
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Machine Learning Computation and Language Formal Languages and Automata Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

MLRegTest: A Benchmark for the Machine Learning of Regular Languages
von: van der Poel, Sam, et al.
Veröffentlicht: (2023)

On the Expressive Power of Regular Expressions with Backreferences
von: Nogami, Taisei, et al.
Veröffentlicht: (2023)

Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning
von: Yalcinkaya, Beyazit, et al.
Veröffentlicht: (2025)

Weighted Automata and Regular Expressions for Financial Systems
von: Droste, Manfred, et al.
Veröffentlicht: (2026)

Constructing a BPE Tokenization DFA
von: Berglund, Martin, et al.
Veröffentlicht: (2024)

Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny
von: Zetzsche, Stefan, et al.
Veröffentlicht: (2024)

Regular Expressions with Backreferences and Lookaheads Capture NLOG
von: Uezato, Yuya
Veröffentlicht: (2024)

Regular Expressions with Backreferences on Multiple Context-Free Languages, and the Closed-Star Condition
von: Nogami, Taisei, et al.
Veröffentlicht: (2024)

Linear Matching of JavaScript Regular Expressions
von: Barrière, Aurèle, et al.
Veröffentlicht: (2023)

Simulating Hard Attention Using Soft Attention
von: Yang, Andy, et al.
Veröffentlicht: (2024)

The Expressive Capacity of State Space Models: A Formal Language Perspective
von: Sarrof, Yash, et al.
Veröffentlicht: (2024)

Language Models over Canonical Byte-Pair Encodings
von: Vieira, Tim, et al.
Veröffentlicht: (2025)

An Algebraic View of the Expressivity of Recurrent Language Models
von: Nowak, Franz, et al.
Veröffentlicht: (2026)

From Formal Language Theory to Statistical Learning: Finite Observability of Subregular Languages
von: Hayashi, Katsuhiko, et al.
Veröffentlicht: (2025)

DeltaProduct: Improving State-Tracking in Linear RNNs via Householder Products
von: Siems, Julien, et al.
Veröffentlicht: (2025)

Unlocking State-Tracking in Linear RNNs Through Negative Eigenvalues
von: Grazzi, Riccardo, et al.
Veröffentlicht: (2024)

Sampling from Your Language Model One Byte at a Time
von: Hayase, Jonathan, et al.
Veröffentlicht: (2025)

Bifocal Attention: Harmonizing Geometric and Spectral Positional Embeddings for Algorithmic Generalization
von: Awadhiya, Kanishk
Veröffentlicht: (2026)

Unraveling Syntax: How Language Models Learn Context-Free Grammars
von: Schulz, Laura Ying, et al.
Veröffentlicht: (2025)

Comparison of different Unique hard attention transformer models by the formal languages they can recognize
von: Ryvkin, Leonid
Veröffentlicht: (2025)

The Counting Power of Transformers
von: Sälzer, Marco, et al.
Veröffentlicht: (2025)

Deconstructing Subset Construction -- Reducing While Determinizing
von: Nicol, John, et al.
Veröffentlicht: (2025)

GrappaRE -- A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions
von: De Rosa, Mattia, et al.
Veröffentlicht: (2025)

Directed Regular and Context-Free Languages
von: Ganardi, Moses, et al.
Veröffentlicht: (2024)

Active Learning of Symbolic Automata Over Rational Numbers
von: Hagedorn, Sebastian, et al.
Veröffentlicht: (2025)

The Complexity of Aggregates over Extractions by Regular Expressions
von: Doleschal, Johannes, et al.
Veröffentlicht: (2020)

RNN Generalization to Omega-Regular Languages
von: Pert, Charles, et al.
Veröffentlicht: (2025)

A Completeness Theorem for Probabilistic Regular Expressions
von: Różowski, Wojciech, et al.
Veröffentlicht: (2023)

On The Space Complexity of Partial Derivatives of Regular Expressions with Shuffle
von: Ancona, Davide, et al.
Veröffentlicht: (2025)

Extending AALpy with Passive Learning: A Generalized State-Merging Approach
von: von Berg, Benjamin, et al.
Veröffentlicht: (2025)

Finite Sentence-Interface Control for Learning Bounded-Fan-Out Linear MCFGs under Fixed Monoid Typing
von: Kuriyama, Takayuki
Veröffentlicht: (2026)

Learning Reward Machines from Partially Observed Policies
von: Shehab, Mohamad Louai, et al.
Veröffentlicht: (2025)

Transformers as Transducers
von: Strobl, Lena, et al.
Veröffentlicht: (2024)

Stochastic Alignments: Matching an Observed Trace to Stochastic Process Models
von: Li, Tian, et al.
Veröffentlicht: (2025)

A Constructive Framework for Nondeterministic Automata via Time-Shared, Depth-Unrolled Feedforward Networks
von: Dhayalkar, Sahil Rajesh
Veröffentlicht: (2025)

Learning Deterministic Finite-State Machines from the Prefixes of a Single String is NP-Complete
von: Dumitru, Radu Cosmin, et al.
Veröffentlicht: (2026)

Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination
von: Okudono, Takamasa, et al.
Veröffentlicht: (2024)

SMT-Based Active Learning of Weighted Automata
von: Ferreira, Tiago, et al.
Veröffentlicht: (2026)

Continuous Diffusion Models Can Obey Formal Syntax
von: Kim, Jinwoo, et al.
Veröffentlicht: (2026)

Unsupervised Hierarchical Skill Discovery
von: Harvey, Damion, et al.
Veröffentlicht: (2026)