:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Somani, Neel
Format:	Preprint
Published:	2026
Subjects:	Machine Learning Logic in Computer Science
Online Access:	https://arxiv.org/abs/2605.24033
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

Verifiable Boosted Tree Ensembles
by: Calzavara, Stefano, et al.
Published: (2024)

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

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

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

Rigorous Explanations for Tree Ensembles
by: Izza, Yacine, et al.
Published: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

From learnable objects to learnable random objects
by: Anderson, Aaron, et al.
Published: (2025)

Programs as Singularities
by: Murfet, Daniel, et al.
Published: (2025)

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

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

Optimal Abstractions for Verifying Properties of Kolmogorov-Arnold Networks (KANs)
by: Schwartz, Noah, et al.
Published: (2026)

Lattice Deduction Transformers
by: Davis, Liam, et al.
Published: (2026)