Image de couverture de livre

Towards Verifiable Transformers: Solver-Checkable Circuit Explanations

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Somani, Neel
Format:	Preprint
Publié:	2026
Sujets:	Machine Learning Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Can Transformers Learn to Verify During Backtracking Search?
par: Phua, Yin Jun, et autres
Publié: (2026)

Lecture Notes on Verifying Graph Neural Networks
par: Schwarzentruber, François
Publié: (2025)

Space Explanations of Neural Network Classification
par: Labbaf, Faezeh, et autres
Publié: (2025)

Verifying the Generalization of Deep Learning to Out-of-Distribution Domains
par: Amir, Guy, et autres
Publié: (2024)

NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis
par: Cosler, Matthias, et autres
Publié: (2024)

Generalizing Logic-based Explanations for Machine Learning Classifiers via Optimization
par: Filho, Francisco Mateus Rocha, et autres
Publié: (2026)

Reliable XAI Explanations in Sudden Cardiac Death Prediction for Chagas Cardiomyopathy
par: Chagas, Vinícius P., et autres
Publié: (2026)

Slice and Explain: Logic-Based Explanations for Neural Networks through Domain Slicing
par: Queiroz, Luiz Fernando Paulino, et autres
Publié: (2026)

Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees
par: Hadad, Itamar, et autres
Publié: (2026)

The Complexity of Verifying Feedforward Neural Networks in Quantised Settings
par: Alsmann, Eric, et autres
Publié: (2026)

Verifying Quantized Graph Neural Networks is PSPACE-complete
par: Sälzer, Marco, et autres
Publié: (2025)

Verifiable Boosted Tree Ensembles
par: Calzavara, Stefano, et autres
Publié: (2024)

Rigorous Explanations for Tree Ensembles
par: Izza, Yacine, et autres
Publié: (2026)

On Trustworthy Rule-Based Models and Explanations
par: Siala, Mohamed, et autres
Publié: (2025)

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

A DPLL(T) Framework for Verifying Deep Neural Networks
par: Duong, Hai, et autres
Publié: (2023)

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers
par: Li, Chunxiao, et autres
Publié: (2024)

Boolformer: Symbolic Regression of Logic Functions with Transformers
par: d'Ascoli, Stéphane, et autres
Publié: (2023)

Scaling the Explanation of Multi-Class Bayesian Network Classifiers
par: Zhang, Yaofang, et autres
Publié: (2026)

Most General Explanations of Tree Ensembles (Extended Version)
par: Izza, Yacine, et autres
Publié: (2025)

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
par: Bassan, Shahaf, et autres
Publié: (2025)

MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
par: Pati, Viresh, et autres
Publié: (2026)

Verified SHAP: Provable Bounds for Exact Shapley Values of Neural Networks
par: Boetius, David, et autres
Publié: (2026)

Loop Invariant Generation: A Hybrid Framework of Reasoning optimised LLMs and SMT Solvers
par: Bharti, Varun, et autres
Publié: (2025)

A Compositional Atlas for Algebraic Circuits
par: Wang, Benjie, et autres
Publié: (2024)

SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs
par: Zhao, Yanxiao, et autres
Publié: (2025)

Circuit Representations of Random Forests with Applications to XAI
par: Ji, Chunxi, et autres
Publié: (2026)

CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP
par: Dasgupta, Sopam, et autres
Publié: (2024)

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
par: Benedikt, Michael, et autres
Publié: (2026)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
par: Mannucci, Mirco A.
Publié: (2025)

From learnable objects to learnable random objects
par: Anderson, Aaron, et autres
Publié: (2025)

Programs as Singularities
par: Murfet, Daniel, et autres
Publié: (2025)

CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP
par: Dasgupta, Sopam, et autres
Publié: (2024)

From Circuit Evidence to Mechanistic Theory: An Inductive Logic Approach
par: Aljaafari, Nura, et autres
Publié: (2026)

Verifying Quantized GNNs With Readout Is Decidable But Highly Intractable
par: Chernobrovkin, Artem, et autres
Publié: (2025)

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
par: Chevallier, Mark, et autres
Publié: (2025)

Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving
par: Rajaee, Sara, et autres
Publié: (2025)

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report
par: Bukhari, Syed Ali Asadullah, et autres
Publié: (2024)

Names Don't Matter: Symbol-Invariant Transformer for Open-Vocabulary Learning
par: Işık, İlker, et autres
Publié: (2026)

Lattice Deduction Transformers
par: Davis, Liam, et autres
Publié: (2026)