Copertina

Multi-class Temporal Logic Neural Networks

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Li, Danyang, Tron, Roberto
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Machine Learning
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

TLINet: Differentiable Neural Network Temporal Logic Inference
di: Li, Danyang, et al.
Pubblicazione: (2024)

Conformal Prediction for Signal Temporal Logic Inference
di: Li, Danyang, et al.
Pubblicazione: (2025)

Conformalized Signal Temporal Logic Inference under Covariate Shift
di: Wang, Yixuan, et al.
Pubblicazione: (2026)

Interpretable Imitation Learning via Generative Adversarial STL Inference and Control
di: Liu, Wenliang, et al.
Pubblicazione: (2024)

Geometry of Singular Foliations and Learning Manifolds in ReLU Networks via the Data Information Matrix
di: Tron, Eliot, et al.
Pubblicazione: (2024)

Composable Model-Free RL for Navigation with Input-Affine Systems
di: Sang, Xinhuan, et al.
Pubblicazione: (2026)

WARP Logic Neural Networks
di: Gerlach, Lino, et al.
Pubblicazione: (2026)

LogicXGNN: Grounded Logical Rules for Explaining Graph Neural Networks
di: Geng, Chuqin, et al.
Pubblicazione: (2025)

Gradient-Enhanced Partitioned Gaussian Processes for Real-Time Quadrotor Dynamics Modeling
di: Sang, Xinhuan, et al.
Pubblicazione: (2026)

Modal Logical Neural Networks for Financial AI
di: Sulc, Antonin
Pubblicazione: (2026)

Temporal Motif Signatures for Temporal Graph Neural Networks
di: Sandfelder, Dylan, et al.
Pubblicazione: (2026)

Adaptive Bi-Level Multi-Robot Task Allocation and Learning under Uncertainty with Temporal Logic Constraints
di: Lin, Xiaoshan, et al.
Pubblicazione: (2025)

Logical Distillation of Graph Neural Networks
di: Pluska, Alexander, et al.
Pubblicazione: (2024)

Training Overparametrized Neural Networks in Sublinear Time
di: Deng, Yichuan, et al.
Pubblicazione: (2022)

The Logical Expressiveness of Topological Neural Networks
di: Akbari, Amirreza, et al.
Pubblicazione: (2026)

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

Propositional Logic for Probing Generalization in Neural Networks
di: Langedijk, Anna, et al.
Pubblicazione: (2025)

Retrofitting Temporal Graph Neural Networks with Transformer
di: Huang, Qiang, et al.
Pubblicazione: (2024)

Modal Logical Neural Networks
di: Sulc, Antonin
Pubblicazione: (2025)

Late Breaking Results: Conversion of Neural Networks into Logic Flows for Edge Computing
di: Stein, Daniel, et al.
Pubblicazione: (2026)

Logic Gate Neural Networks are Good for Verification
di: Kresse, Fabian, et al.
Pubblicazione: (2025)

Interpreting Temporal Graph Neural Networks with Koopman Theory
di: Guerra, Michele, et al.
Pubblicazione: (2024)

Dynamic Localisation of Spatial-Temporal Graph Neural Network
di: Duan, Wenying, et al.
Pubblicazione: (2025)

Simple and Efficient Heterogeneous Temporal Graph Neural Network
di: Wang, Yili, et al.
Pubblicazione: (2025)

Temporal-Aware Evaluation and Learning for Temporal Graph Neural Networks
di: Su, Junwei, et al.
Pubblicazione: (2024)

Beyond Neural Networks: Symbolic Reasoning over Wavelet Logic Graph Signals
di: Kiruluta, Andrew, et al.
Pubblicazione: (2025)

Wavelet Logic Machines: Learning and Reasoning in the Spectral Domain Without Neural Networks
di: Kiruluta, Andrew
Pubblicazione: (2025)

Neural Logic Networks for Interpretable Classification
di: Perreault, Vincent, et al.
Pubblicazione: (2025)

Spatio-Temporal Few-Shot Learning via Diffusive Neural Network Generation
di: Yuan, Yuan, et al.
Pubblicazione: (2024)

Variable Assignment Invariant Neural Networks for Learning Logic Programs
di: Phua, Yin Jun, et al.
Pubblicazione: (2024)

On The Temporal Domain of Differential Equation Inspired Graph Neural Networks
di: Eliasof, Moshe, et al.
Pubblicazione: (2024)

Meta-Learning for Neural Network-based Temporal Point Processes
di: Takimoto, Yoshiaki, et al.
Pubblicazione: (2024)

Temporal Graph Learning Recurrent Neural Network for Traffic Forecasting
di: Lee, Sanghyun, et al.
Pubblicazione: (2024)

Coden: Efficient Temporal Graph Neural Networks for Continuous Prediction
di: Zhu, Zulun, et al.
Pubblicazione: (2026)

From Arithmetic to Logic: The Resilience of Logic and Lookup-Based Neural Networks Under Parameter Bit-Flips
di: Bacellar, Alan T. L., et al.
Pubblicazione: (2026)

Leveraging Vulnerabilities in Temporal Graph Neural Networks via Strategic High-Impact Assaults
di: Jeon, Dong Hyun, et al.
Pubblicazione: (2025)

Temporal Inductive Path Neural Network for Temporal Knowledge Graph Reasoning
di: Dong, Hao, et al.
Pubblicazione: (2023)

NEUROLOGIC: From Neural Representations to Interpretable Logic Rules
di: Geng, Chuqin, et al.
Pubblicazione: (2025)

GRExplainer: A Universal Explanation Method for Temporal Graph Neural Networks
di: Li, Xuyan, et al.
Pubblicazione: (2025)

MASA-TCN: Multi-anchor Space-aware Temporal Convolutional Neural Networks for Continuous and Discrete EEG Emotion Recognition
di: Ding, Yi, et al.
Pubblicazione: (2023)