Copertina

DeepDFA: Automata Learning through Neural Probabilistic Relaxations

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Umili, Elena, Capobianco, Roberto
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Machine Learning Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

DeepDFA: Injecting Temporal Logic in Deep Learning for Sequential Subsymbolic Applications
di: Umili, Elena, et al.
Pubblicazione: (2026)

Neural Reward Machines
di: Umili, Elena, et al.
Pubblicazione: (2024)

Grounding LTL Tasks in Sub-Symbolic RL Environments for Zero-Shot Generalization
di: Pannacci, Matteo, et al.
Pubblicazione: (2026)

Fully Learnable Neural Reward Machines
di: Dewidar, Hazem, et al.
Pubblicazione: (2025)

DFA-GNN: Forward Learning of Graph Neural Networks by Direct Feedback Alignment
di: Zhao, Gongpei, et al.
Pubblicazione: (2024)

Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification
di: Marzari, Luca, et al.
Pubblicazione: (2025)

DFA-CON: A Contrastive Learning Approach for Detecting Copyright Infringement in DeepFake Art
di: Wahab, Haroon, et al.
Pubblicazione: (2025)

Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation
di: Hillerstrom, Fieke, et al.
Pubblicazione: (2024)

Probabilistic Modeling of Latent Agentic Substructures in Deep Neural Networks
di: Lee, Su Hyeong, et al.
Pubblicazione: (2025)

Double Successive Over-Relaxation Q-Learning with an Extension to Deep Reinforcement Learning
di: R, Shreyas S
Pubblicazione: (2024)

Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees
di: Marzari, Luca, et al.
Pubblicazione: (2023)

Neural Probabilistic Logic Learning for Knowledge Graph Reasoning
di: Sun, Fengsong, et al.
Pubblicazione: (2024)

Neural Probabilistic Circuits: Enabling Compositional and Interpretable Predictions through Logical Reasoning
di: Chen, Weixin, et al.
Pubblicazione: (2025)

Relaxing Continuous Constraints of Equivariant Graph Neural Networks for Physical Dynamics Learning
di: Zheng, Zinan, et al.
Pubblicazione: (2024)

Symbol Grounding in Neuro-Symbolic AI: A Gentle Introduction to Reasoning Shortcuts
di: Marconato, Emanuele, et al.
Pubblicazione: (2025)

EXPLAIN, AGREE, LEARN: Scaling Learning for Neural Probabilistic Logic
di: Verreet, Victor, et al.
Pubblicazione: (2024)

Causal Neural Probabilistic Circuits
di: Chen, Weixin, et al.
Pubblicazione: (2026)

Probabilistic Runtime Verification, Evaluation and Risk Assessment of Visual Deep Learning Systems
di: Torpmann-Hagen, Birk, et al.
Pubblicazione: (2025)

Expressiveness of Multi-Neuron Convex Relaxations in Neural Network Certification
di: Mao, Yuhao, et al.
Pubblicazione: (2024)

The Cost of Relaxation: Evaluating the Error in Convex Neural Network Verification
di: Papamichail, Merkouris, et al.
Pubblicazione: (2026)

Probabilistic Neural Networks (PNNs) for Modeling Aleatoric Uncertainty in Scientific Machine Learning
di: Pourkamali-Anaraki, Farhad, et al.
Pubblicazione: (2024)

Probabilistic Graph Circuits: Deep Generative Models for Tractable Probabilistic Inference over Graphs
di: Papež, Milan, et al.
Pubblicazione: (2025)

Training Language Models via Neural Cellular Automata
di: Lee, Dan, et al.
Pubblicazione: (2026)

Learning Dynamics of Deep Learning -- Force Analysis of Deep Neural Networks
di: Ren, Yi
Pubblicazione: (2025)

Low-Rank Optimal Transport through Factor Relaxation with Latent Coupling
di: Halmos, Peter, et al.
Pubblicazione: (2024)

Semantically Labelled Automata for Multi-Task Reinforcement Learning with LTL Instructions
di: Abate, Alessandro, et al.
Pubblicazione: (2026)

SimCert: Probabilistic Certification for Behavioral Similarity in Deep Neural Network Compression
di: Li, Jingyang, et al.
Pubblicazione: (2026)

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

Neural Network Approximators for Marginal MAP in Probabilistic Circuits
di: Arya, Shivvrat, et al.
Pubblicazione: (2024)

On the Probabilistic Learnability of Compact Neural Network Preimage Bounds
di: Marzari, Luca, et al.
Pubblicazione: (2025)

Understanding and Improving Adversarial Robustness of Neural Probabilistic Circuits
di: Chen, Weixin, et al.
Pubblicazione: (2025)

CAX: Cellular Automata Accelerated in JAX
di: Faldor, Maxence, et al.
Pubblicazione: (2024)

NeSyA: Neurosymbolic Automata
di: Manginas, Nikolaos, et al.
Pubblicazione: (2024)

Soft Learning Probabilistic Circuits
di: Ghandi, Soroush, et al.
Pubblicazione: (2024)

Probabilistic ML Verification via Weighted Model Integration
di: Morettin, Paolo, et al.
Pubblicazione: (2024)

Addressing Spectral Bias of Deep Neural Networks by Multi-Grade Deep Learning
di: Fang, Ronglong, et al.
Pubblicazione: (2024)

Highly Parallelized Reinforcement Learning Training with Relaxed Assignment Dependencies
di: He, Zhouyu, et al.
Pubblicazione: (2025)

Tractable Representation Learning with Probabilistic Circuits
di: Braun, Steven, et al.
Pubblicazione: (2025)

Probabilistic Shielding for Safe Reinforcement Learning
di: Court, Edwin Hamel-De le, et al.
Pubblicazione: (2025)

Approaching Deep Learning through the Spectral Dynamics of Weights
di: Yunis, David, et al.
Pubblicazione: (2024)