Copertina

TLINet: Differentiable Neural Network Temporal Logic Inference

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Li, Danyang, Cai, Mingyu, Vasile, Cristian-Ioan, Tron, Roberto
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science Machine Learning
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Multi-class Temporal Logic Neural Networks
di: Li, Danyang, et al.
Pubblicazione: (2024)

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

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

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

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

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

Slice and Explain: Logic-Based Explanations for Neural Networks through Domain Slicing
di: Queiroz, Luiz Fernando Paulino, et al.
Pubblicazione: (2026)

Continuous Modal Logical Neural Networks: Modal Reasoning via Stochastic Accessibility
di: Sulc, Antonin
Pubblicazione: (2026)

Bound Propagation meets Constraint Simplification: Improving Logic-based XAI for Neural Networks
di: Gomes, Ronaldo, et al.
Pubblicazione: (2026)

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

Skill Machines: Temporal Logic Skill Composition in Reinforcement Learning
di: Tasse, Geraud Nangue, et al.
Pubblicazione: (2022)

Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control
di: Murphy, William, et al.
Pubblicazione: (2024)

Provably Safe Neural Network Controllers via Differential Dynamic Logic
di: Teuber, Samuel, et al.
Pubblicazione: (2024)

Polynomial Surrogate Training for Differentiable Ternary Logic Gate Networks
di: Damera, Sai Sandeep, et al.
Pubblicazione: (2026)

Regional, Lattice and Logical Representations of Neural Networks
di: Preto, Sandro, et al.
Pubblicazione: (2025)

Comparing Neural Network Encodings for Logic-based Explainability
di: Carvalho, Levi Cordeiro, et al.
Pubblicazione: (2025)

Conformal Signal Temporal Logic for Robust Reinforcement Learning Control: A Case Study
di: Beirami, Hani, et al.
Pubblicazione: (2026)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
di: Mannucci, Mirco A.
Pubblicazione: (2025)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
di: Sälzer, Marco, et al.
Pubblicazione: (2025)

Extracting Formulae in Many-Valued Logic from Deep Neural Networks
di: Zhang, Yani, et al.
Pubblicazione: (2024)

A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
di: Nunn, Pierre, et al.
Pubblicazione: (2024)

Temporal Inductive Logic Reasoning over Hypergraphs
di: Yang, Yuan, et al.
Pubblicazione: (2022)

Learning to Estimate System Specifications in Linear Temporal Logic using Transformers and Mamba
di: Işık, İlker, et al.
Pubblicazione: (2024)

Model Predictive Robustness of Signal Temporal Logic Predicates
di: Lin, Yuanfei, et al.
Pubblicazione: (2022)

Learning Temporal Logic Predicates from Data with Statistical Guarantees
di: Soroka, Emi, et al.
Pubblicazione: (2024)

GLIDR: Graph-Like Inductive Logic Programming with Differentiable Reasoning
di: Johnson, Blair, et al.
Pubblicazione: (2025)

Proof Minimization in Neural Network Verification
di: Isac, Omri, et al.
Pubblicazione: (2025)

Space Explanations of Neural Network Classification
di: Labbaf, Faezeh, et al.
Pubblicazione: (2025)

TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
di: Meng, Yue, et al.
Pubblicazione: (2025)

Lecture Notes on Verifying Graph Neural Networks
di: Schwarzentruber, François
Pubblicazione: (2025)

Logic Tensor Network-Enhanced Generative Adversarial Network
di: Upreti, Nijesh, et al.
Pubblicazione: (2026)

Machine Learning Model Integration with Open World Temporal Logic for Process Automation
di: Aditya, Dyuman, et al.
Pubblicazione: (2025)

THEIA: Learning Complete Kleene Three-Valued Logic in a Pure-Neural Modular Architecture
di: Li, Augustus Haoyang
Pubblicazione: (2026)

Almost Surely Asymptotically Constant Graph Neural Networks
di: Adam-Day, Sam, et al.
Pubblicazione: (2024)

The Polynomial Counting Capabilities of Message Passing Neural Networks
di: Sälzer, Marco, et al.
Pubblicazione: (2026)

Branch and Bound for Piecewise Linear Neural Network Verification
di: Bunel, Rudy, et al.
Pubblicazione: (2019)

Boolformer: Symbolic Regression of Logic Functions with Transformers
di: d'Ascoli, Stéphane, et al.
Pubblicazione: (2023)

Diverse Controllable Diffusion Policy with Signal Temporal Logic
di: Meng, Yue, et al.
Pubblicazione: (2025)

ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor for Inductive Logic Programming
di: Sharifi, Iman, et al.
Pubblicazione: (2026)

PICID: Proof-Driven Clause Learning in Neural Network Verification
di: Isac, Omri, et al.
Pubblicazione: (2025)