Image de couverture de livre

Towards Verified and Targeted Explanations through Formal Methods

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Wang, Hanchen David, Lopez, Diego Manzanas, Robinette, Preston K., Oguz, Ipek, Johnson, Taylor T., Ma, Meiyi
Format:	Preprint
Publié:	2026
Sujets:	Machine Learning Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Formal Logic Enabled Personalized Federated Learning Through Property Inference
par: An, Ziyan, et autres
Publié: (2024)

Probabilistic Robustness Analysis in High Dimensional Space: Application to Semantic Segmentation Network
par: Hashemi, Navid, et autres
Publié: (2025)

Blind Visible Watermark Removal with Morphological Dilation
par: Robinette, Preston K., et autres
Publié: (2025)

Learning with Preserving for Continual Multitask Learning
par: Wang, Hanchen David, et autres
Publié: (2025)

Efficiently Computing Compact Formal Explanations
par: Wu, Min, et autres
Publié: (2024)

A2RBench: An Automatic Paradigm for Formally Verifiable Abstract Reasoning Benchmark Generation
par: Ma, Qingchuan, et autres
Publié: (2026)

AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement
par: Aggarwal, Pranjal, et autres
Publié: (2024)

Even-if Explanations: Formal Foundations, Priorities and Complexity
par: Alfano, Gianvincenzo, et autres
Publié: (2024)

MicroXercise: A Micro-Level Comparative and Explainable System for Remote Physical Therapy
par: Wang, Hanchen David, et autres
Publié: (2024)

Learning to Generate Formally Verifiable Step-by-Step Logic Reasoning via Structured Formal Intermediaries
par: Chen, Luoxin, et autres
Publié: (2026)

FAME: Formal Abstract Minimal Explanation for Neural Networks
par: Boumazouza, Ryma, et autres
Publié: (2026)

Formally Verifying and Explaining Sepsis Treatment Policies with COOL-MC
par: Gross, Dennis
Publié: (2026)

Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets
par: Robinette, Preston K., et autres
Publié: (2024)

E-valuator: Reliable Agent Verifiers with Sequential Hypothesis Testing
par: Sadhuka, Shuvom, et autres
Publié: (2025)

OpenXAI: Towards a Transparent Evaluation of Model Explanations
par: Agarwal, Chirag, et autres
Publié: (2022)

Extending XReason: Formal Explanations for Adversarial Detection
par: Jemaa, Amira, et autres
Publié: (2024)

Towards Unsupervised Training of Matching-based Graph Edit Distance Solver via Preference-aware GAN
par: Huang, Wei, et autres
Publié: (2025)

Exploring Expert Specialization through Unsupervised Training in Sparse Mixture of Experts
par: Nikolic, Strahinja, et autres
Publié: (2025)

Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes
par: Abu-Haeyeh, Yasmine, et autres
Publié: (2026)

Formal Explanations for Neuro-Symbolic AI
par: Paul, Sushmita, et autres
Publié: (2024)

Towards More Trustworthy and Interpretable LLMs for Code through Syntax-Grounded Explanations
par: Palacio, David N., et autres
Publié: (2024)

Loong: Synthesize Long Chain-of-Thoughts at Scale through Verifiers
par: Huang, Xingyue, et autres
Publié: (2025)

Can We Formally Verify Neural PDE Surrogates? SMT Compilation of Small Fourier Neural Operators
par: Baheri, Ali, et autres
Publié: (2026)

Towards Understanding the Influence of Training Samples on Explanations
par: Artelt, André, et autres
Publié: (2024)

Towards a Unified Framework for Evaluating Explanations
par: Pinto, Juan D., et autres
Publié: (2024)

Towards Fine-Grained and Verifiable Concept Bottleneck Models
par: Fang, Yingying, et autres
Publié: (2026)

Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
par: Mandal, Udayan, et autres
Publié: (2024)

Explanations that reveal all through the definition of encoding
par: Puli, Aahlad, et autres
Publié: (2024)

Towards Verifiable Text Generation with Symbolic References
par: Hennigen, Lucas Torroba, et autres
Publié: (2023)

Towards Piece-by-Piece Explanations for Chess Positions with SHAP
par: Spinnato, Francesco
Publié: (2025)

Towards Faithful Explanations: Boosting Rationalization with Shortcuts Discovery
par: Yue, Linan, et autres
Publié: (2024)

Hack-Verifiable Environments: Towards Evaluating Reward Hacking at Scale
par: Roth, Amit, et autres
Publié: (2026)

Toward Robust Signed Graph Learning through Joint Input-Target Denoising
par: Wu, Junran, et autres
Publié: (2025)

How Explanations Leak the Decision Logic: Stealing Graph Neural Networks via Explanation Alignment
par: Ma, Bin, et autres
Publié: (2025)

FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?
par: Ravi, Nikil, et autres
Publié: (2026)

Towards Consistent Natural-Language Explanations via Explanation-Consistency Finetuning
par: Chen, Yanda, et autres
Publié: (2024)

Hyperparameter Optimisation with Practical Interpretability and Explanation Methods in Probabilistic Curriculum Learning
par: Salt, Llewyn, et autres
Publié: (2025)

GRExplainer: A Universal Explanation Method for Temporal Graph Neural Networks
par: Li, Xuyan, et autres
Publié: (2025)

The 4/$δ$ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
par: Dantas, PIerre, et autres
Publié: (2025)

ExPath: Targeted Pathway Inference for Biological Knowledge Bases via Graph Learning and Explanation
par: Kotoge, Rikuto, et autres
Publié: (2025)