Cover Image

Neural Approaches to SAT Solving: Design Choices and Interpretability

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Mojžíšek, David, Hůla, Jan, Li, Ziwei, Zhou, Ziyu, Janota, Mikoláš
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
by: Hůla, Jan, et al.
Published: (2024)

Geometric Reasoning in the Embedding Space
by: Hůla, Jan, et al.
Published: (2025)

Solving Hard Mizar Problems with Instantiation and Strategy Invention
by: Jakubův, Jan, et al.
Published: (2024)

Minimizing the Weighted Number of Tardy Jobs: Data-Driven Heuristic for Single-Machine Scheduling
by: Antonov, Nikolai, et al.
Published: (2025)

Machine Learning for Quantifier Selection in cvc5
by: Jakubův, Jan, et al.
Published: (2024)

Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
by: Orvalho, Pedro, et al.
Published: (2024)

Quantifier Instantiations: To Mimic or To Revolt?
by: Jakubův, Jan, et al.
Published: (2025)

NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks
by: Wang, Wenxi, et al.
Published: (2021)

MILP-SAT-GNN: Yet Another Neural SAT Solver
by: Cardillo, Franco Alberto, et al.
Published: (2025)

FA-INR: Adaptive Implicit Neural Representations for Interpretable Exploration of Simulation Ensembles
by: Li, Ziwei, et al.
Published: (2025)

Interpretable Classification via a Rule Network with Selective Logical Operators
by: Wei, Bowen, et al.
Published: (2024)

Can Transformers Reason Logically? A Study in SAT Solving
by: Pan, Leyan, et al.
Published: (2024)

Factor Graph-based Interpretable Neural Networks
by: Li, Yicong, et al.
Published: (2025)

Towards an Understanding of Stepwise Inference in Transformers: A Synthetic Graph Navigation Model
by: Khona, Mikail, et al.
Published: (2024)

GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection
by: Zhang, Zhanguang, et al.
Published: (2024)

CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases
by: Orvalho, Pedro, et al.
Published: (2024)

High-Throughput SAT Sampling
by: Ardakani, Arash, et al.
Published: (2025)

W2SAT: Learning to generate SAT instances from Weighted Literal Incidence Graphs
by: Wen, Weihuang, et al.
Published: (2023)

Fast and Interpretable Mixed-Integer Linear Program Solving by Learning Model Reduction
by: Li, Yixuan, et al.
Published: (2024)

DeepHalo: A Neural Choice Model with Controllable Context Effects
by: Zhang, Shuhan, et al.
Published: (2026)

InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
by: Orvalho, Pedro, et al.
Published: (2022)

SATURN: SAT-based Reinforcement Learning to Unleash LLMs Reasoning
by: Liu, Huanyu, et al.
Published: (2025)

Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound
by: Boetius, David, et al.
Published: (2024)

Automated Graph Machine Learning: Approaches, Libraries, Benchmarks and Directions
by: Wang, Xin, et al.
Published: (2022)

Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
by: Orvalho, Pedro, et al.
Published: (2025)

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
by: Zhang, Zhiwei, et al.
Published: (2025)

Exploring Neural Ordinary Differential Equations as Interpretable Healthcare classifiers
by: Li, Shi
Published: (2025)

Position: Rethinking Post-Hoc Search-Based Neural Approaches for Solving Large-Scale Traveling Salesman Problems
by: Xia, Yifan, et al.
Published: (2024)

Beyond Message Passing: A Symbolic Alternative for Expressive and Interpretable Graph Learning
by: Geng, Chuqin, et al.
Published: (2026)

The OPS-SAT benchmark for detecting anomalies in satellite telemetry
by: Ruszczak, Bogdan, et al.
Published: (2024)

Air Traffic Controller Task Demand via Graph Neural Networks: An Interpretable Approach to Airspace Complexity
by: Henderson, Edward, et al.
Published: (2025)

Demystifying Design Choices of Reinforcement Fine-tuning: A Batched Contextual Bandit Learning Perspective
by: Xie, Hong, et al.
Published: (2026)

Discovering Chunks in Neural Embeddings for Interpretability
by: Wu, Shuchen, et al.
Published: (2025)

Faithful Interpretation for Graph Neural Networks
by: Hu, Lijie, et al.
Published: (2024)

The Spectral Bias of Shallow Neural Network Learning is Shaped by the Choice of Non-linearity
by: Sahs, Justin, et al.
Published: (2025)

Inducing, Detecting and Characterising Neural Modules: A Pipeline for Functional Interpretability in Reinforcement Learning
by: Soligo, Anna, et al.
Published: (2025)

Modeling Choice via Self-Attention
by: Ko, Joohwan, et al.
Published: (2023)

Interpretable Neural Networks with Random Constructive Algorithm
by: Nan, Jing, et al.
Published: (2023)

Interpreting Neural Networks through Mahalanobis Distance
by: Oursland, Alan
Published: (2024)

Training Neural Networks for Modularity aids Interpretability
by: Golechha, Satvik, et al.
Published: (2024)