Cover Image

Multi-class Temporal Logic Neural Networks

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Li, Danyang, Tron, Roberto
Format:	Preprint
Published:	2024
Subjects:	Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

WARP Logic Neural Networks
by: Gerlach, Lino, et al.
Published: (2026)

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

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

Modal Logical Neural Networks for Financial AI
by: Sulc, Antonin
Published: (2026)

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

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

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

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

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

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

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

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

Modal Logical Neural Networks
by: Sulc, Antonin
Published: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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