Learning from Algorithm Feedback: One-Shot SAT Solver Guidance with GNNs - Tönshoff, Jan; Grohe, Martin (International Conference on Learning Representations, 2026)