Cover Image

A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Manginas, Vasileios, Manginas, Nikolaos, Stevinson, Edward, Varghese, Sherwin, Katzouris, Nikos, Paliouras, Georgios, Lomuscio, Alessio
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

NeSyA: Neurosymbolic Automata
by: Manginas, Nikolaos, et al.
Published: (2024)

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning
by: Lorello, Luca Salvatore, et al.
Published: (2025)

Tight Verification of Probabilistic Robustness in Bayesian Neural Networks
by: Batten, Ben, et al.
Published: (2024)

Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels
by: Brückner, Benedikt, et al.
Published: (2024)

A Neuro-Symbolic Approach for Probabilistic Reasoning on Graph Data
by: Pojer, Raffaele, et al.
Published: (2025)

A Robust Out-of-Distribution Detection Framework via Synergistic Smoothing
by: Stoica, Maria, et al.
Published: (2026)

REASON: Accelerating Probabilistic Logical Reasoning for Scalable Neuro-Symbolic Intelligence
by: Wan, Zishen, et al.
Published: (2026)

IoUCert: Robustness Verification for Anchor-based Object Detectors
by: Brückner, Benedikt, et al.
Published: (2026)

Neuro-Symbolic Verification on Instruction Following of LLMs
by: Su, Yiming, et al.
Published: (2026)

Semirings for Probabilistic and Neuro-Symbolic Logic Programming
by: Derkinderen, Vincent, et al.
Published: (2024)

Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation
by: Batten, Ben, et al.
Published: (2024)

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

Efficient support ticket resolution using Knowledge Graphs
by: Varghese, Sherwin, et al.
Published: (2024)

Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible
by: Jia, Lin-Han, et al.
Published: (2025)

Neuro-Symbolic Proof Generation for Scaling Systems Software Verification
by: He, Baoding, et al.
Published: (2026)

Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs
by: Daggitt, Matthew L., et al.
Published: (2024)

Out-of-Distribution Detection using Counterfactual Distance
by: Stoica, Maria, et al.
Published: (2025)

VIRO: Robust and Efficient Neuro-Symbolic Reasoning with Verification for Referring Expression Comprehension
by: Park, Hyejin, et al.
Published: (2026)

Probabilistic Mission Design for Neuro-Symbolic Unmanned Aircraft Systems
by: Kohaut, Simon, et al.
Published: (2024)

Temporal Reasoning Is Not the Bottleneck: A Probabilistic Inconsistency Framework for Neuro-Symbolic QA
by: Liem, Tran Quang
Published: (2026)

AXIOM: A Trust-First Neuro-Symbolic Execution Architecture for Verifiable Mathematical Reasoning
by: Bruno, Alessio
Published: (2026)

ProofNet++: A Neuro-Symbolic System for Formal Proof Verification with Self-Correction
by: Ambati, Murari
Published: (2025)

To Neuro-Symbolic Classification and Beyond by Compiling Description Logic Ontologies to Probabilistic Circuits
by: Lazzari, Nicolas, et al.
Published: (2026)

A Neuro-Symbolic Approach to Multi-Agent RL for Interpretability and Probabilistic Decision Making
by: Subramanian, Chitra, et al.
Published: (2024)

AIVV: Neuro-Symbolic LLM Agent-Integrated Verification and Validation for Trustworthy Autonomous Systems
by: Kwon, Jiyong, et al.
Published: (2026)

LogicGraph : Benchmarking Multi-Path Logical Reasoning via Neuro-Symbolic Generation and Verification
by: Wu, Yanrui, et al.
Published: (2026)

Compliance-Aware Predictive Process Monitoring: A Neuro-Symbolic Approach
by: De Santis, Fabrizio, et al.
Published: (2026)

LTL Verification of Memoryful Neural Agents
by: Hosseini, Mehran, et al.
Published: (2025)

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification
by: Sharan, S P, et al.
Published: (2024)

Adversarial Attacks Leverage Interference Between Features in Superposition
by: Stevinson, Edward, et al.
Published: (2025)

Compositional Neuro-Symbolic Reasoning
by: Das, Anugyan, et al.
Published: (2026)

Federated Neuro-Symbolic Learning
by: Xing, Pengwei, et al.
Published: (2023)

A Balanced Neuro-Symbolic Approach for Commonsense Abductive Logic
by: Cotnareanu, Joseph, et al.
Published: (2026)

Neuro-Symbolic ODE Discovery with Latent Grammar Flow
by: Yu, Karin, et al.
Published: (2026)

Eidoku: A Neuro-Symbolic Verification Gate for LLM Reasoning via Structural Constraint Satisfaction
by: Miya, Shinobu
Published: (2025)

A Semantic Framework for Neuro-Symbolic Computing
by: Odense, Simon, et al.
Published: (2022)

ATA: A Neuro-Symbolic Approach to Implement Autonomous and Trustworthy Agents
by: Peer, David, et al.
Published: (2025)

Assured Autonomy with Neuro-Symbolic Perception
by: Hallyburton, R. Spencer, et al.
Published: (2025)

Neuro-Symbolic AI for Military Applications
by: Hagos, Desta Haileselassie, et al.
Published: (2024)

Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint)
by: Sigloch, Paul, et al.
Published: (2026)