Copertina

Towards Verified and Targeted Explanations through Formal Methods

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Wang, Hanchen David, Lopez, Diego Manzanas, Robinette, Preston K., Oguz, Ipek, Johnson, Taylor T., Ma, Meiyi
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Machine Learning Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Formal Logic Enabled Personalized Federated Learning Through Property Inference
di: An, Ziyan, et al.
Pubblicazione: (2024)

Probabilistic Robustness Analysis in High Dimensional Space: Application to Semantic Segmentation Network
di: Hashemi, Navid, et al.
Pubblicazione: (2025)

Blind Visible Watermark Removal with Morphological Dilation
di: Robinette, Preston K., et al.
Pubblicazione: (2025)

Learning with Preserving for Continual Multitask Learning
di: Wang, Hanchen David, et al.
Pubblicazione: (2025)

Efficiently Computing Compact Formal Explanations
di: Wu, Min, et al.
Pubblicazione: (2024)

A2RBench: An Automatic Paradigm for Formally Verifiable Abstract Reasoning Benchmark Generation
di: Ma, Qingchuan, et al.
Pubblicazione: (2026)

AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement
di: Aggarwal, Pranjal, et al.
Pubblicazione: (2024)

Even-if Explanations: Formal Foundations, Priorities and Complexity
di: Alfano, Gianvincenzo, et al.
Pubblicazione: (2024)

MicroXercise: A Micro-Level Comparative and Explainable System for Remote Physical Therapy
di: Wang, Hanchen David, et al.
Pubblicazione: (2024)

Learning to Generate Formally Verifiable Step-by-Step Logic Reasoning via Structured Formal Intermediaries
di: Chen, Luoxin, et al.
Pubblicazione: (2026)

FAME: Formal Abstract Minimal Explanation for Neural Networks
di: Boumazouza, Ryma, et al.
Pubblicazione: (2026)

Formally Verifying and Explaining Sepsis Treatment Policies with COOL-MC
di: Gross, Dennis
Pubblicazione: (2026)

Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets
di: Robinette, Preston K., et al.
Pubblicazione: (2024)

E-valuator: Reliable Agent Verifiers with Sequential Hypothesis Testing
di: Sadhuka, Shuvom, et al.
Pubblicazione: (2025)

OpenXAI: Towards a Transparent Evaluation of Model Explanations
di: Agarwal, Chirag, et al.
Pubblicazione: (2022)

Extending XReason: Formal Explanations for Adversarial Detection
di: Jemaa, Amira, et al.
Pubblicazione: (2024)

Towards Unsupervised Training of Matching-based Graph Edit Distance Solver via Preference-aware GAN
di: Huang, Wei, et al.
Pubblicazione: (2025)

Exploring Expert Specialization through Unsupervised Training in Sparse Mixture of Experts
di: Nikolic, Strahinja, et al.
Pubblicazione: (2025)

Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes
di: Abu-Haeyeh, Yasmine, et al.
Pubblicazione: (2026)

Formal Explanations for Neuro-Symbolic AI
di: Paul, Sushmita, et al.
Pubblicazione: (2024)

Towards More Trustworthy and Interpretable LLMs for Code through Syntax-Grounded Explanations
di: Palacio, David N., et al.
Pubblicazione: (2024)

Loong: Synthesize Long Chain-of-Thoughts at Scale through Verifiers
di: Huang, Xingyue, et al.
Pubblicazione: (2025)

Can We Formally Verify Neural PDE Surrogates? SMT Compilation of Small Fourier Neural Operators
di: Baheri, Ali, et al.
Pubblicazione: (2026)

Towards Understanding the Influence of Training Samples on Explanations
di: Artelt, André, et al.
Pubblicazione: (2024)

Towards a Unified Framework for Evaluating Explanations
di: Pinto, Juan D., et al.
Pubblicazione: (2024)

Towards Fine-Grained and Verifiable Concept Bottleneck Models
di: Fang, Yingying, et al.
Pubblicazione: (2026)

Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
di: Mandal, Udayan, et al.
Pubblicazione: (2024)

Explanations that reveal all through the definition of encoding
di: Puli, Aahlad, et al.
Pubblicazione: (2024)

Towards Verifiable Text Generation with Symbolic References
di: Hennigen, Lucas Torroba, et al.
Pubblicazione: (2023)

Towards Piece-by-Piece Explanations for Chess Positions with SHAP
di: Spinnato, Francesco
Pubblicazione: (2025)

Towards Faithful Explanations: Boosting Rationalization with Shortcuts Discovery
di: Yue, Linan, et al.
Pubblicazione: (2024)

Hack-Verifiable Environments: Towards Evaluating Reward Hacking at Scale
di: Roth, Amit, et al.
Pubblicazione: (2026)

Toward Robust Signed Graph Learning through Joint Input-Target Denoising
di: Wu, Junran, et al.
Pubblicazione: (2025)

How Explanations Leak the Decision Logic: Stealing Graph Neural Networks via Explanation Alignment
di: Ma, Bin, et al.
Pubblicazione: (2025)

FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?
di: Ravi, Nikil, et al.
Pubblicazione: (2026)

Towards Consistent Natural-Language Explanations via Explanation-Consistency Finetuning
di: Chen, Yanda, et al.
Pubblicazione: (2024)

Hyperparameter Optimisation with Practical Interpretability and Explanation Methods in Probabilistic Curriculum Learning
di: Salt, Llewyn, et al.
Pubblicazione: (2025)

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

The 4/$δ$ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
di: Dantas, PIerre, et al.
Pubblicazione: (2025)

ExPath: Targeted Pathway Inference for Biological Knowledge Bases via Graph Learning and Explanation
di: Kotoge, Rikuto, et al.
Pubblicazione: (2025)