Imagen de Portada

Bridging the Empirical-Theoretical Gap in Neural Network Formal Language Learning Using Minimum Description Length

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Lan, Nur, Chemla, Emmanuel, Katzir, Roni
Formato:	Preprint
Publicado:	2024
Materias:	Computation and Language Formal Languages and Automata Theory
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

NILE: Formalizing Natural-Language Descriptions of Formal Languages
por: Kneisel, Tristan, et al.
Publicado: (2026)

The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective
por: Bergsträßer, Pascal, et al.
Publicado: (2024)

Mind the Gap: A Formal Investigation of the Relationship Between Log and Model Complexity -- Extended Version
por: Schalk, Patrizia, et al.
Publicado: (2025)

A General Information Extraction Framework Based on Formal Languages
por: Schmid, Markus L.
Publicado: (2025)

On the Representational Capacity of Neural Language Models with Chain-of-Thought Reasoning
por: Nowak, Franz, et al.
Publicado: (2024)

Formalized Run-Time Analysis of Active Learning -- Coalgebraically in Agda
por: Wißmann, Thorsten
Publicado: (2026)

Measure-Theoretic Aspects of Star-Free and Group Languages
por: Sin'ya, Ryoma, et al.
Publicado: (2025)

From Formal Language Theory to Statistical Learning: Finite Observability of Subregular Languages
por: Hayashi, Katsuhiko, et al.
Publicado: (2025)

Passive Learning of Lattice Automata from Recurrent Neural Networks
por: Slimi, Jaouhar, et al.
Publicado: (2025)

Consistent Autoformalization for Constructing Mathematical Libraries
por: Zhang, Lan, et al.
Publicado: (2024)

Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions
por: Zhang, Lan, et al.
Publicado: (2025)

MASA: LLM-Driven Multi-Agent Systems for Autoformalization
por: Zhang, Lan, et al.
Publicado: (2025)

A Formal Approach for Tuning Stochastic Oscillators
por: Ballarini, Paolo, et al.
Publicado: (2024)

WEX: Formal Specifications for Windows in Stream Processing
por: Hitarth, S, et al.
Publicado: (2022)

Closure Properties of General Grammars -- Formally Verified
por: Dvorak, Martin, et al.
Publicado: (2023)

Exploring Error Types in Formal Languages Among Students of Upper Secondary Education
por: Schmellenkamp, Marko, et al.
Publicado: (2024)

It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
por: Basin, David, et al.
Publicado: (2025)

Fine-Tuning Language Models Using Formal Methods Feedback
por: Yang, Yunhao, et al.
Publicado: (2023)

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
por: Kan, Shuanglong, et al.
Publicado: (2025)

Transducing Language Models
por: Snæbjarnarson, Vésteinn, et al.
Publicado: (2026)

Descriptional Complexity of Finite Automata -- Selected Highlights
por: Salomaa, Arto, et al.
Publicado: (2023)

Automated Formal Verification of Area-Optimized Safety Registers in Automotive SoCs
por: Zhang, Shuhang, et al.
Publicado: (2025)

The Expressive Capacity of State Space Models: A Formal Language Perspective
por: Sarrof, Yash, et al.
Publicado: (2024)

Directed Regular and Context-Free Languages
por: Ganardi, Moses, et al.
Publicado: (2024)

Maximal Length Cellular Automata : A Survey
por: Adak, Sumit, et al.
Publicado: (2024)

An Automata-Based Method to Formalize Psychological Theories -- The Case Study of Lazarus and Folkman's Stress Theory
por: Finkel, Alain, et al.
Publicado: (2025)

A Bionic Natural Language Parser Equivalent to a Pushdown Automaton
por: Wei, Zhenghao, et al.
Publicado: (2024)

Comparing Spoken Languages using Paninian System of Sounds and Finite State Machines
por: Prabhu, Shreekanth M, et al.
Publicado: (2023)

Formally Verified Linear-Time Invertible Lexing
por: Chassot, Samuel, et al.
Publicado: (2025)

Greybox Learning of Languages Recognizable by Event-Recording Automata
por: Majumdar, Anirban, et al.
Publicado: (2024)

LangSAT: A Novel Framework Combining NLP and Reinforcement Learning for SAT Solving
por: Pan, Muyu, et al.
Publicado: (2025)

Measuring Grammatical Diversity from Small Corpora: Derivational Entropy Rates, Mean Length of Utterances, and Annotation Invariance
por: Martin, Fermin Moscoso del Prado
Publicado: (2024)

DRAMPyML: A Formal Description of DRAM Protocols with Timed Petri Nets
por: Christ, Derek, et al.
Publicado: (2026)

Distributional Learning of Graph Languages Generated by Fixed-Interface Clause Systems
por: Shoudai, Takayoshi, et al.
Publicado: (2026)

Approximate Problems for Finite Transducers
por: Filiot, Emmanuel, et al.
Publicado: (2025)

A Regular and Complete Notion of Delay for Streaming String Transducers
por: Filiot, Emmanuel, et al.
Publicado: (2022)

Distributional Learning of Context-Free Languages under Fixed Finite-Monoid Typing
por: Kuriyama, Takayuki
Publicado: (2014)

Structural Reductions and Stutter Sensitive Properties
por: Paviot-Adet, Emmanuel, et al.
Publicado: (2022)

Finite-valued Streaming String Transducers
por: Filiot, Emmanuel, et al.
Publicado: (2024)

Networks of Moore Machines
por: Yodaiken, Victor
Publicado: (2015)