Copertina

Towards Verifiable Transformers: Solver-Checkable Circuit Explanations

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Somani, Neel
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Machine Learning Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Can Transformers Learn to Verify During Backtracking Search?
di: Phua, Yin Jun, et al.
Pubblicazione: (2026)

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

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

Verifying the Generalization of Deep Learning to Out-of-Distribution Domains
di: Amir, Guy, et al.
Pubblicazione: (2024)

NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis
di: Cosler, Matthias, et al.
Pubblicazione: (2024)

Generalizing Logic-based Explanations for Machine Learning Classifiers via Optimization
di: Filho, Francisco Mateus Rocha, et al.
Pubblicazione: (2026)

Reliable XAI Explanations in Sudden Cardiac Death Prediction for Chagas Cardiomyopathy
di: Chagas, Vinícius P., et al.
Pubblicazione: (2026)

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

Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees
di: Hadad, Itamar, et al.
Pubblicazione: (2026)

The Complexity of Verifying Feedforward Neural Networks in Quantised Settings
di: Alsmann, Eric, et al.
Pubblicazione: (2026)

Verifying Quantized Graph Neural Networks is PSPACE-complete
di: Sälzer, Marco, et al.
Pubblicazione: (2025)

Verifiable Boosted Tree Ensembles
di: Calzavara, Stefano, et al.
Pubblicazione: (2024)

Rigorous Explanations for Tree Ensembles
di: Izza, Yacine, et al.
Pubblicazione: (2026)

On Trustworthy Rule-Based Models and Explanations
di: Siala, Mohamed, et al.
Pubblicazione: (2025)

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

A DPLL(T) Framework for Verifying Deep Neural Networks
di: Duong, Hai, et al.
Pubblicazione: (2023)

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers
di: Li, Chunxiao, et al.
Pubblicazione: (2024)

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

Scaling the Explanation of Multi-Class Bayesian Network Classifiers
di: Zhang, Yaofang, et al.
Pubblicazione: (2026)

Most General Explanations of Tree Ensembles (Extended Version)
di: Izza, Yacine, et al.
Pubblicazione: (2025)

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
di: Bassan, Shahaf, et al.
Pubblicazione: (2025)

MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
di: Pati, Viresh, et al.
Pubblicazione: (2026)

Verified SHAP: Provable Bounds for Exact Shapley Values of Neural Networks
di: Boetius, David, et al.
Pubblicazione: (2026)

Loop Invariant Generation: A Hybrid Framework of Reasoning optimised LLMs and SMT Solvers
di: Bharti, Varun, et al.
Pubblicazione: (2025)

A Compositional Atlas for Algebraic Circuits
di: Wang, Benjie, et al.
Pubblicazione: (2024)

SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs
di: Zhao, Yanxiao, et al.
Pubblicazione: (2025)

Circuit Representations of Random Forests with Applications to XAI
di: Ji, Chunxi, et al.
Pubblicazione: (2026)

CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP
di: Dasgupta, Sopam, et al.
Pubblicazione: (2024)

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
di: Benedikt, Michael, et al.
Pubblicazione: (2026)

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

From learnable objects to learnable random objects
di: Anderson, Aaron, et al.
Pubblicazione: (2025)

Programs as Singularities
di: Murfet, Daniel, et al.
Pubblicazione: (2025)

CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP
di: Dasgupta, Sopam, et al.
Pubblicazione: (2024)

From Circuit Evidence to Mechanistic Theory: An Inductive Logic Approach
di: Aljaafari, Nura, et al.
Pubblicazione: (2026)

Verifying Quantized GNNs With Readout Is Decidable But Highly Intractable
di: Chernobrovkin, Artem, et al.
Pubblicazione: (2025)

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
di: Chevallier, Mark, et al.
Pubblicazione: (2025)

Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving
di: Rajaee, Sara, et al.
Pubblicazione: (2025)

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report
di: Bukhari, Syed Ali Asadullah, et al.
Pubblicazione: (2024)

Names Don't Matter: Symbol-Invariant Transformer for Open-Vocabulary Learning
di: Işık, İlker, et al.
Pubblicazione: (2026)

Lattice Deduction Transformers
di: Davis, Liam, et al.
Pubblicazione: (2026)