Graph-Based Attention for Differentiable MaxSAT Solving - Moriyama, Sota; Inoue, Katsumi (Advances in Neural Information Processing Systems, 2025)