Imagen de Portada

$L^*LM$: Learning Automata from Examples using Natural Language Oracles

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Vazquez-Chanlatte, Marcell, Elmaaroufi, Karim, Witwicki, Stefan J., Zaharia, Matei, Seshia, Sanjit A.
Formato:	Preprint
Publicado:	2024
Materias:	Machine Learning Artificial Intelligence 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

Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning
por: Yalcinkaya, Beyazit, et al.
Publicado: (2025)

Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning
por: Yalcinkaya, Beyazit, et al.
Publicado: (2024)

Learning Formal Specifications from Membership and Preference Queries
por: Shah, Ameesh, et al.
Publicado: (2023)

Automata-Conditioned Cooperative Multi-Agent Reinforcement Learning
por: Yalcinkaya, Beyazit, et al.
Publicado: (2025)

Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation
por: Manini, Andrea, et al.
Publicado: (2025)

Constructing Deterministic Parity Automata from Positive and Negative Examples
por: Bohn, León, et al.
Publicado: (2023)

Quantitative Language Automata
por: Henzinger, Thomas A., et al.
Publicado: (2025)

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

Nominal Automata with Name Deallocation
por: Prucker, Simon, et al.
Publicado: (2026)

Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques
por: Kiefer, Stefan, et al.
Publicado: (2019)

Mathematical Approach in Automata and Automata Association
por: Maciel, Sergio Henrique
Publicado: (2020)

Learning Event-recording Automata Passively
por: Majumdar, Anirban, et al.
Publicado: (2025)

Query Learning of Advice and Nominal Automata
por: Zhou, Kevin
Publicado: (2024)

Active Learning of Symbolic Mealy Automata
por: Irie, Kengo, et al.
Publicado: (2025)

Inference of Deterministic Finite Automata via Q-Learning
por: Hosseinkhani, Elaheh, et al.
Publicado: (2025)

Congruence-based Learning of Probabilistic Deterministic Finite Automata
por: Carrasco, Matías, et al.
Publicado: (2024)

Kamp Theorem for Pomset Languages of Higher Dimensional Automata
por: Clement, Emily, et al.
Publicado: (2024)

Scalable Tree-based Register Automata Learning
por: Dierl, Simon, et al.
Publicado: (2024)

Learning Deterministic Multi-Clock Timed Automata
por: Teng, Yu, et al.
Publicado: (2024)

Efficient Learning of Weak Deterministic Büchi Automata
por: Alluwayma, Mona, et al.
Publicado: (2025)

Algebraic Characterization of FO-definable Languages of Higher-Dimensional Automata
por: Erlich, Enzo, et al.
Publicado: (2026)

Componentwise Automata Learning for System Integration (Extended Version)
por: Fujinami, Hiroya, et al.
Publicado: (2025)

Automata Learning with an Incomplete but Inductive Teacher (Technical Report)
por: Stan, Daniel, et al.
Publicado: (2026)

Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata
por: Geißler, Dominik, et al.
Publicado: (2025)

On Shuffling and Splitting Automata
por: Cunningham, Ignacio Mollo
Publicado: (2024)

Explorable Parity Automata
por: Hazard, Emile, et al.
Publicado: (2024)

Automata on Graph Alphabets
por: Bazille, Hugo, et al.
Publicado: (2026)

Asynchronism in Cellular Automata
por: Gautam, Virendra Kumar
Publicado: (2025)

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

Learning Weighted Automata over Number Rings, Concretely and Categorically
por: Aristote, Quentin, et al.
Publicado: (2025)

Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata
por: Mazowiecki, Filip, et al.
Publicado: (2025)

Localising Stochasticity in Weighted Automata
por: Agarwal, Smayan, et al.
Publicado: (2026)

History-deterministic Parikh Automata
por: Erlich, Enzo, et al.
Publicado: (2022)

Saturation Problems for Families of Automata
por: Bohn, León, et al.
Publicado: (2025)

Determinism in Multi-Soliton Automata
por: Bordihn, Henning, et al.
Publicado: (2024)

Simulations for Event-Clock Automata
por: Akshay, S, et al.
Publicado: (2022)

Finite Automata for Efficient Graph Recognition
por: Drewes, Frank, et al.
Publicado: (2024)

Universality Frontier for Asynchronous Cellular Automata
por: Baburin, Ivan, et al.
Publicado: (2025)

History-Deterministic Büchi Automata are Succinct
por: Casares, Antonio, et al.
Publicado: (2026)

Simulation Limitations of Affine Cellular Automata
por: Hudcová, Barbora, et al.
Publicado: (2023)