Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1802.03685
Cited By
v1
v2
v3
v4 (latest)
Learning a SAT Solver from Single-Bit Supervision
11 February 2018
Daniel Selsam
Matthew Lamm
Benedikt Bünz
Abigail Z. Jacobs
L. D. Moura
D. Dill
NAI
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Learning a SAT Solver from Single-Bit Supervision"
50 / 257 papers shown
LangSAT: A Novel Framework Combining NLP and Reinforcement Learning for SAT Solving
Muyu Pan
Matthew Walter
Dheeraj Kodakandla
Mahfuza Farooque
28
0
0
04 Dec 2025
Learning to Solve Weighted Maximum Satisfiability with a Co-Training Architecture
Kaidi Wan
Minghao Liu
Yong Lai
GNN
279
0
0
24 Nov 2025
GROOT: Graph Edge Re-growth and Partitioning for the Verification of Large Designs in Logic Synthesis
Kiran Thorat
Hongwu Peng
Yuebo Luo
Xi Xie
Shaoyi Huang
...
Jiahui Zhao
Yingjie Li
Zhijie Shi
Cunxi Yu
Caiwen Ding
106
1
0
23 Nov 2025
TurboSAT: Gradient-Guided Boolean Satisfiability Accelerated on GPU-CPU Hybrid System
Steve Dai
Cunxi Yu
Kalyan Krishnamani
Brucek Khailany
NAI
56
0
0
11 Nov 2025
Generalizable Reasoning through Compositional Energy Minimization
Alexandru Oarga
Yilun Du
PINN
LRM
AI4CE
226
1
0
23 Oct 2025
Attn-JGNN: Attention Enhanced Join-Graph Neural Networks
Jixin Zhang
GNN
236
0
0
17 Oct 2025
Learning Representations Through Contrastive Neural Model Checking
Vladimir Krsmanovic
Matthias Cosler
Mohamed Ghanem
Bernd Finkbeiner
187
0
0
02 Oct 2025
Boolean Satisfiability via Imitation Learning
Zewei Zhang
Huan Liu
Yuanhao Yu
Jun Chen
Xiangyu Xu
192
0
0
29 Sep 2025
TRACE: Learning to Compute on Graphs
Ziyang Zheng
Jiaying Zhu
Jingyi Zhou
Qiang Xu
129
0
0
26 Sep 2025
SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs
Yanxiao Zhao
Yaqian Li
Zihao Bo
Rinyoichi Takezoe
Haojia Hui
Mo Guang
Lei Ren
Xiaolin Qin
Kaiwen Long
LRM
110
0
0
31 Aug 2025
On the Hardness of Learning GNN-based SAT Solvers: The Role of Graph Ricci Curvature
Geri Skenderi
100
0
0
29 Aug 2025
Constraint Matters: Multi-Modal Representation for Reducing Mixed-Integer Linear programming
Jiajun Li
Ran Hou
Yu Ding
Yixuan Li
Shisi Guan
...
Xiongwei Han
Tao Zhong
Vincent Chau
Weiwei Wu
Wanyuan Wang
97
0
0
26 Aug 2025
Language Models Coupled with Metacognition Can Outperform Reasoning Models
Vedant Khandelwal
F. Rossi
K. Murugesan
Erik Miehling
Murray Campbell
Karthikeyan N. Ramamurthy
L. Horesh
ReLM
KELM
LRM
118
2
0
25 Aug 2025
Natural Language Satisfiability: Exploring the Problem Distribution and Evaluating Transformer-based Language Models
Annual Meeting of the Association for Computational Linguistics (ACL), 2025
Tharindu Madusanka
Ian Pratt-Hartmann
Riza Batista-Navarro
LRM
100
2
0
23 Aug 2025
Learnable SMPLify: A Neural Solution for Optimization-Free Human Pose Inverse Kinematics
Yuchen Yang
Linfeng Dong
Wei Wang
Zhihang Zhong
Xiao-Fu Sun
3DH
155
1
0
19 Aug 2025
Solving Formal Math Problems by Decomposition and Iterative Reflection
Yichi Zhou
Jianqiu Zhao
Yongxin Zhang
Bohan Wang
Siran Wang
...
Rong Ye
Phan Nhat Hoang
Huishuai Zhang
Peng Sun
Hang Li
144
16
0
21 Jul 2025
Reasoning in Neurosymbolic AI
Son N. Tran
E. Mota
Artur Garcez
NAI
211
0
0
22 May 2025
STRCMP: Integrating Graph Structural Priors with Language Models for Combinatorial Optimization
Xijun Li
Jiexiang Yang
Jinghao Wang
Bo Peng
Jianguo Yao
Haibing Guan
199
4
0
22 May 2025
Learning from Algorithm Feedback: One-Shot SAT Solver Guidance with GNNs
Jan Tönshoff
Martin Grohe
217
0
0
21 May 2025
Repetition Makes Perfect: Recurrent Graph Neural Networks Match Message-Passing Limit
Eran Rosenbluth
Martin Grohe
231
1
0
01 May 2025
HyperSAT: Unsupervised Hypergraph Neural Networks for Weighted MaxSAT Problems
Qiyue Chen
Shaolin Tan
Suixiang Gao
Jinhu Lü
GNN
NAI
289
0
0
16 Apr 2025
Geometric Reasoning in the Embedding Space
Machine Learning and Knowledge Extraction (MLKE), 2025
Jan Hůla
David Mojžíšek
Jiří Janeček
David Herel
Mikoláš Janota
182
0
0
02 Apr 2025
Neural Approaches to SAT Solving: Design Choices and Interpretability
David Mojžíšek
Jan Hůla
Ziwei Li
Ziyu Zhou
Mikoláš Janota
AAML
NAI
189
2
0
01 Apr 2025
MLGym: A New Framework and Benchmark for Advancing AI Research Agents
Deepak Nathani
Lovish Madaan
Nicholas Roberts
Nikolay Bashlykov
Ajay Menon
...
Tatiana Shavrina
Jakob Foerster
Yoram Bachrach
William Yang Wang
Roberta Raileanu
LLMAG
384
44
0
21 Feb 2025
Self-Supervised Transformers as Iterative Solution Improvers for Constraint Satisfaction
Yudong Xu
Siyuan Li
Scott Sanner
Elias Boutros Khalil
365
0
0
18 Feb 2025
Towards graph neural networks for provably solving convex optimization problems
Chendi Qian
Christopher Morris
280
3
0
04 Feb 2025
Concept Learning in the Wild: Towards Algorithmic Understanding of Neural Networks
Elad Shohama
Hadar Cohena
Khalil Wattada
Havana Rikab
Dan Vilenchik
241
1
0
15 Dec 2024
Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)
Automated Technology for Verification and Analysis (ATVA), 2024
Parosh Aziz Abdulla
Mohamed Faouzi Atig
Julie Cailler
Chencheng Liang
P. Rümmer
188
1
0
19 Nov 2024
Discovering Data Structures: Nearest Neighbor Search and Beyond
Omar Salemohamed
Laurent Charlin
Shivam Garg
Willie Neiswanger
Gregory Valiant
FedML
314
0
0
05 Nov 2024
Are Large-Language Models Graph Algorithmic Reasoners?
Alexander K. Taylor
Anthony Cuturrufo
Vishal Yathish
Mingyu Derek Ma
Wei Wang
LRM
356
1
0
29 Oct 2024
Self-Satisfied: An end-to-end framework for SAT generation and prediction
Christopher R. Serrano
Jonathan Gallagher
Kenji Yamada
Alexei Kopylov
Michael A. Warren
159
1
0
18 Oct 2024
Can Transformers Reason Logically? A Study in SAT Solving
Leyan Pan
Vijay Ganesh
Jacob Abernethy
Chris Esposo
Wenke Lee
ReLM
LRM
369
10
0
09 Oct 2024
Collaboration! Towards Robust Neural Methods for Routing Problems
Neural Information Processing Systems (NeurIPS), 2024
Jianan Zhou
Yaoxin Wu
Zhiguang Cao
Wen Song
Jie Zhang
Zhiqi Shen
AAML
205
4
0
07 Oct 2024
Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
International Conference on Information and Knowledge Management (CIKM), 2024
Jan Hůla
David Mojžíšek
Mikoláš Janota
187
7
0
27 Aug 2024
GraphFSA: A Finite State Automaton Framework for Algorithmic Learning on Graphs
European Conference on Artificial Intelligence (ECAI), 2024
Florian Grötschla
Joël Mathys
Christoffer Raun
Roger Wattenhofer
182
1
0
20 Aug 2024
LinSATNet: The Positive Linear Satisfiability Neural Networks
Runzhong Wang
Yunhao Zhang
Ziao Guo
Tianyi Chen
Yunbo Wang
Junchi Yan
193
25
0
18 Jul 2024
A Unified Framework for Combinatorial Optimization Based on Graph Neural Networks
Yaochu Jin
Xueming Yan
Shiqing Liu
Xiangyu Wang
350
6
0
19 Jun 2024
GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection
Knowledge Discovery and Data Mining (KDD), 2024
Zhanguang Zhang
Didier Chetelat
Joseph Cotnareanu
Amur Ghose
Wenyi Xiao
Hui-Ling Zhen
Yingxue Zhang
Jianye Hao
Mark Coates
Mingxuan Yuan
NAI
173
5
0
17 May 2024
Verified Neural Compressed Sensing
Rudy Bunel
Dj Dvijotham
M. P. Kumar
Alessandro De Palma
Robert Stanforth
MLT
328
2
0
07 May 2024
ATG: Benchmarking Automated Theorem Generation for Generative Language Models
Xiaohan Lin
Qingxing Cao
Yinya Huang
Zhicheng YANG
Zhengying Liu
Zhenguo Li
Xiaodan Liang
281
9
0
05 May 2024
Dynamic Anisotropic Smoothing for Noisy Derivative-Free Optimization
International Conference on Machine Learning (ICML), 2024
S. Reifenstein
T. Leleu
Yoshihisa Yamamoto
238
1
0
02 May 2024
A Short Review on Novel Approaches for Maximum Clique Problem: from Classical algorithms to Graph Neural Networks and Quantum algorithms
Raffaele Marino
L. Buffoni
Bogdan Zavalnij
GNN
329
8
0
13 Mar 2024
Towards a Generic Representation of Combinatorial Problems for Learning-Based Approaches
Integration of AI and OR Techniques in Constraint Programming (CPAIOR), 2024
Léo Boisvert
Hélene Verhaeghe
Quentin Cappart
242
7
0
09 Mar 2024
Learning Guided Automated Reasoning: A Brief Survey
Lasse Blaauwbroek
David M. Cerna
Thibault Gauthier
Jan Jakubruv
C. Kaliszyk
Martin Suda
Josef Urban
LRM
260
7
0
06 Mar 2024
IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability
T. H. Chan
Wenyi Xiao
Junhua Huang
Hui-Ling Zhen
Guangji Tian
Mingxuan Yuan
204
1
0
06 Mar 2024
Graph Pruning for Enumeration of Minimal Unsatisfiable Subsets
Panagiotis Lymperopoulos
Liping Liu
189
2
0
19 Feb 2024
AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
Yiwen Sun
Xianyin Zhang
Shiyu Huang
Shaowei Cai
Bing-Zhen Zhang
Ke Wei
166
9
0
16 Feb 2024
Learning Better Representations From Less Data For Propositional Satisfiability
Mohamed Ghanem
Frederik Schmitt
Julian Siber
Bernd Finkbeiner
NAI
253
3
0
13 Feb 2024
torchmSAT: A GPU-Accelerated Approximation To The Maximum Satisfiability Problem
Abdelrahman I. Hosny
Sherief Reda
168
3
0
06 Feb 2024
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis
International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2024
Matthias Cosler
Christopher Hahn
Ayham Omar
Frederik Schmitt
NAI
168
1
0
22 Jan 2024
1
2
3
4
5
6
Next
