Imagen de Portada

The $μ\mathcal{G}$ Language for Programming Graph Neural Networks

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Belenchia, Matteo, Corradini, Flavio, Quadrini, Michela, Loreti, Michele
Formato:	Preprint
Publicado:	2024
Materias:	Formal Languages and Automata Theory Artificial Intelligence Machine Learning D.2.4
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Parameterized Verification of Timed Networks with Clock Invariants
por: André, Étienne, et al.
Publicado: (2024)

Real-Time Model Checking for Closed-Loop Robot Reactive Planning
por: Chandler, Christopher, et al.
Publicado: (2025)

Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification
por: Yao, Zhen, et al.
Publicado: (2025)

Parameterized Verification of Disjunctive Timed Networks
por: André, Étienne, et al.
Publicado: (2023)

Tool-Assisted Conformance Checking to Reference Process Models
por: Rumpe, Bernhard, et al.
Publicado: (2025)

Computational methods for Dynamic Answer Set Programming
por: Hahn, Susana
Publicado: (2025)

LTL-Constrained Policy Optimization with Cycle Experience Replay
por: Shah, Ameesh, et al.
Publicado: (2024)

Large Language Models and the Extended Church-Turing Thesis
por: Wiedermann, Jiří, et al.
Publicado: (2024)

Logic-Gated Time-Shared Feedforward Networks for Alternating Finite Automata: Exact Simulation and Learnability
por: Dhayalkar, Sahil Rajesh
Publicado: (2026)

Complex Event Recognition with Symbolic Register Transducers: Extended Technical Report
por: Alevizos, Elias, et al.
Publicado: (2024)

Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
por: Grahl, Johanna, et al.
Publicado: (2025)

BEAVER: An Efficient Deterministic LLM Verifier
por: Suresh, Tarun, et al.
Publicado: (2025)

Stochastic Directly-Follows Process Discovery Using Grammatical Inference
por: Alkhammash, Hanan, et al.
Publicado: (2023)

HERMES: Towards Efficient and Verifiable Mathematical Reasoning in LLMs
por: Ospanov, Azim, et al.
Publicado: (2025)

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

LLMs as Probabilistic Minimally Adequate Teachers for DFA Learning
por: Chen, Lekai, et al.
Publicado: (2024)

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

TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts
por: Wang, Ruida, et al.
Publicado: (2024)

Mechanics of Learned Reasoning 1: TempoBench, A Benchmark for Interpretable Deconstruction of Reasoning System Performance
por: Holzer, Nikolaus, et al.
Publicado: (2025)

Finding path and cycle counting formulae in graphs with Deep Reinforcement Learning
por: Piquenot, Jason, et al.
Publicado: (2024)

RegexPSPACE: A Benchmark for Evaluating LLM Reasoning on PSPACE-complete Regex Problems
por: Jin, Hyundong, et al.
Publicado: (2025)

Multimodal Pretrained Models for Verifiable Sequential Decision-Making: Planning, Grounding, and Perception
por: Yang, Yunhao, et al.
Publicado: (2023)

Foundation Models for Logistics: Toward Certifiable, Conversational Planning Interfaces
por: Yang, Yunhao, et al.
Publicado: (2025)

Are Agents Probabilistic Automata? A Trace-Based, Memory-Constrained Theory of Agentic AI
por: Koohestani, Roham, et al.
Publicado: (2025)

Computing the Reachability Value of Posterior-Deterministic POMDPs
por: Fijalkow, Nathanaël, et al.
Publicado: (2026)

On Synthesis of Timed Regular Expressions
por: Wang, Ziran, et al.
Publicado: (2025)

In System Alignments we Trust! Explainable Alignments via Projections
por: Sommers, Dominique, et al.
Publicado: (2025)

Integrating Supertag Features into Neural Discontinuous Constituent Parsing
por: Mielczarek, Lukas
Publicado: (2024)

Extracting Robust Register Automata from Neural Networks over Data Sequences
por: Hong, Chih-Duo, et al.
Publicado: (2025)

Joint Verification and Refinement of Language Models for Safety-Constrained Planning
por: Yang, Yunhao, et al.
Publicado: (2024)

CBCL: Safe Self-Extending Agent Communication
por: O'Connor, Hugo
Publicado: (2026)

Neural Networks as Universal Finite-State Machines: A Constructive Deterministic Finite Automaton Theory
por: Dhayalkar, Sahil Rajesh
Publicado: (2025)

Neuro-Symbolic Predictive Process Monitoring
por: Mezini, Axel, et al.
Publicado: (2025)

Verification of Neural Networks (Lecture Notes)
por: Bollig, Benedikt
Publicado: (2026)

GOL in GOL in HOL: Verified Circuits in Conway's Game of Life
por: Myreen, Magnus O., et al.
Publicado: (2025)

Learn, Check, Test -- Security Testing Using Automata Learning and Model Checking
por: Marksteiner, Stefan, et al.
Publicado: (2025)

Model-bounded monitoring of hybrid systems
por: Waga, Masaki, et al.
Publicado: (2021)

MinMax Recurrent Neural Cascades
por: Ronca, Alessandro
Publicado: (2026)

Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars
por: Iosif, Radu, et al.
Publicado: (2025)

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