Cover Image

Learning from Algorithm Feedback: One-Shot SAT Solver Guidance with GNNs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Tönshoff, Jan, Grohe, Martin
Format:	Preprint
Published:	2025
Subjects:	Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Selecting Walk Schemes for Database Embedding
by: Lubarsky, Yuval Lev, et al.
Published: (2024)

Distinguished In Uniform: Self Attention Vs. Virtual Nodes
by: Rosenbluth, Eran, et al.
Published: (2024)

One-Shot Learning for k-SAT
by: Galanis, Andreas, et al.
Published: (2025)

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

The Descriptive Complexity of Graph Neural Networks
by: Grohe, Martin
Published: (2023)

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

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

Molecular Machine Learning in Chemical Process Design
by: Rittig, Jan G., et al.
Published: (2025)

A Geometric Perspective on the Difficulties of Learning GNN-based SAT Solvers
by: Skenderi, Geri
Published: (2025)

When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)
by: Abdulla, Parosh Aziz, et al.
Published: (2025)

AgentsNet: Coordination and Collaborative Reasoning in Multi-Agent LLMs
by: Grötschla, Florian, et al.
Published: (2025)

Acceleration Algorithms in GNNs: A Survey
by: Ma, Lu, et al.
Published: (2024)

Flood and Echo Net: Algorithmically Aligned GNNs that Generalize
by: Mathys, Joël, et al.
Published: (2023)

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

Repetition Makes Perfect: Recurrent Graph Neural Networks Match Message-Passing Limit
by: Rosenbluth, Eran, et al.
Published: (2025)

Universally Invariant Learning in Equivariant GNNs
by: Cen, Jiacheng, et al.
Published: (2025)

Tabular foundation models for in-context prediction of molecular properties
by: Hicham, Karim K. Ben, et al.
Published: (2026)

Classic GNNs are Strong Baselines: Reassessing GNNs for Node Classification
by: Luo, Yuankai, et al.
Published: (2024)

On the Limitation and Experience Replay for GNNs in Continual Learning
by: Su, Junwei, et al.
Published: (2023)

Are Targeted Messages More Effective?
by: Grohe, Martin, et al.
Published: (2024)

Empowering GNNs via Edge-Aware Weisfeiler-Leman Algorithm
by: Liu, Meng, et al.
Published: (2022)

Enhancing AI Assisted Writing with One-Shot Implicit Negative Feedback
by: Towle, Benjamin, et al.
Published: (2024)

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

One-Shot Clustering for Federated Learning
by: Zuziak, Maciej Krzysztof, et al.
Published: (2025)

Efficient Subgraph GNNs by Learning Effective Selection Policies
by: Bevilacqua, Beatrice, et al.
Published: (2023)

Towards Precise Prediction Uncertainty in GNNs: Refining GNNs with Topology-grouping Strategy
by: Seo, Hyunjin, et al.
Published: (2024)

Nonparametric Learning and Earning with One-Point Feedback under Nonstationarity
by: Yang, Xiangyu, et al.
Published: (2026)

One-Shot Federated Learning with Classifier-Free Diffusion Models
by: Zaland, Obaidullah, et al.
Published: (2025)

Task Arithmetic Through The Lens Of One-Shot Federated Learning
by: Tao, Zhixu Silvia, et al.
Published: (2024)

Graph Learning at Scale: Characterizing and Optimizing Pre-Propagation GNNs
by: Yue, Zichao, et al.
Published: (2025)

What Do GNNs Actually Learn? Towards Understanding their Representations
by: Nikolentzos, Giannis, et al.
Published: (2023)

Semi-Supervised One-Shot Imitation Learning
by: Wu, Philipp, et al.
Published: (2024)

On the Scalability of GNNs for Molecular Graphs
by: Sypetkowski, Maciej, et al.
Published: (2024)

Graph Machine Learning for Design of High-Octane Fuels
by: Rittig, Jan G., et al.
Published: (2022)

Decouple Graph Neural Networks: Train Multiple Simple GNNs Simultaneously Instead of One
by: Zhang, Hongyuan, et al.
Published: (2023)

MAGNOLIA: Matching Algorithms via GNNs for Online Value-to-go Approximation
by: Hayderi, Alexandre, et al.
Published: (2024)

Binarizing Physics-Inspired GNNs for Combinatorial Optimization
by: Krutský, Martin, et al.
Published: (2025)

HyperSAT: Unsupervised Hypergraph Neural Networks for Weighted MaxSAT Problems
by: Chen, Qiyue, et al.
Published: (2025)

Learning to Route LLMs from Bandit Feedback: One Policy, Many Trade-offs
by: Wei, Wang, et al.
Published: (2025)

FedBEns: One-Shot Federated Learning based on Bayesian Ensemble
by: Talpini, Jacopo, et al.
Published: (2025)