v1v2v3v4 (latest)

Learning a SAT Solver from Single-Bit Supervision

11 February 2018

Papers citing "Learning a SAT Solver from Single-Bit Supervision"

50 / 256 papers shown

Title
Learning to Solve Weighted Maximum Satisfiability with a Co-Training Architecture Kaidi Wan Minghao Liu Yong Lai GNN 162 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 102 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 28 0 0 11 Nov 2025
Generalizable Reasoning through Compositional Energy Minimization Alexandru Oarga Yilun Du PINN LRM AI4CE 152 1 0 23 Oct 2025
Attn-JGNN: Attention Enhanced Join-Graph Neural Networks Jixin Zhang Yong Lai GNN 168 0 0 17 Oct 2025
Learning Representations Through Contrastive Neural Model Checking Vladimir Krsmanovic Matthias Cosler Mohamed Ghanem Bernd Finkbeiner 141 0 0 02 Oct 2025
Boolean Satisfiability via Imitation Learning Zewei Zhang Huan Liu Yuanhao Yu Jun Chen Xiangyu Xu 144 0 0 29 Sep 2025
TRACE: Learning to Compute on Graphs Ziyang Zheng Jiaying Zhu Jingyi Zhou Qiang Xu 84 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 82 0 0 31 Aug 2025
On the Hardness of Learning GNN-based SAT Solvers: The Role of Graph Ricci Curvature Geri Skenderi 60 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 52 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 94 2 0 25 Aug 2025
Natural Language Satisfiability: Exploring the Problem Distribution and Evaluating Transformer-based Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL), 2025 Tharindu Madusanka Ian Pratt-Hartmann Riza Batista-Navarro LRM 76 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 134 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 115 13 0 21 Jul 2025
Reasoning in Neurosymbolic AI Son N. Tran E. Mota Artur Garcez NAI 180 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 128 2 0 22 May 2025
Learning from Algorithm Feedback: One-Shot SAT Solver Guidance with GNNs Jan Tönshoff Martin Grohe 192 0 0 21 May 2025
Repetition Makes Perfect: Recurrent Graph Neural Networks Match Message-Passing Limit Eran Rosenbluth Martin Grohe 187 0 0 01 May 2025
HyperSAT: Unsupervised Hypergraph Neural Networks for Weighted MaxSAT Problems Qiyue Chen Shaolin Tan Suixiang Gao Jinhu Lü GNN NAI 237 0 0 16 Apr 2025
Geometric Reasoning in the Embedding SpaceMachine Learning and Knowledge Extraction (MLKE), 2025 Jan Hůla David Mojžíšek Jiří Janeček David Herel Mikoláš Janota 139 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 158 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 321 40 0 21 Feb 2025
Self-Supervised Transformers as Iterative Solution Improvers for Constraint Satisfaction Yudong Xu Siyuan Li Scott Sanner Elias Boutros Khalil 284 0 0 18 Feb 2025
Towards graph neural networks for provably solving convex optimization problems Chendi Qian Christopher Morris 216 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 195 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 163 1 0 19 Nov 2024
Discovering Data Structures: Nearest Neighbor Search and Beyond Omar Salemohamed Laurent Charlin Shivam Garg Willie Neiswanger Gregory Valiant FedML 268 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 268 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 136 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 287 10 0 09 Oct 2024
Collaboration! Towards Robust Neural Methods for Routing ProblemsNeural Information Processing Systems (NeurIPS), 2024 Jianan Zhou Yaoxin Wu Zhiguang Cao Wen Song Jie Zhang Zhiqi Shen AAML 152 3 0 07 Oct 2024
Understanding GNNs for Boolean Satisfiability through Approximation AlgorithmsInternational Conference on Information and Knowledge Management (CIKM), 2024 Jan Hůla David Mojžíšek Mikoláš Janota 138 7 0 27 Aug 2024
GraphFSA: A Finite State Automaton Framework for Algorithmic Learning on GraphsEuropean Conference on Artificial Intelligence (ECAI), 2024 Florian Grötschla Joël Mathys Christoffer Raun Roger Wattenhofer 135 1 0 20 Aug 2024
LinSATNet: The Positive Linear Satisfiability Neural Networks Runzhong Wang Yunhao Zhang Ziao Guo Tianyi Chen Yunbo Wang Junchi Yan 152 24 0 18 Jul 2024
A Unified Framework for Combinatorial Optimization Based on Graph Neural Networks Yaochu Jin Xueming Yan Shiqing Liu Xiangyu Wang 326 5 0 19 Jun 2024
GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver SelectionKnowledge 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 148 5 0 17 May 2024
Verified Neural Compressed Sensing Rudy Bunel Dj Dvijotham M. P. Kumar Alessandro De Palma Robert Stanforth MLT 291 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 223 8 0 05 May 2024
Dynamic Anisotropic Smoothing for Noisy Derivative-Free OptimizationInternational Conference on Machine Learning (ICML), 2024 S. Reifenstein T. Leleu Yoshihisa Yamamoto 187 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 258 8 0 13 Mar 2024
Towards a Generic Representation of Combinatorial Problems for Learning-Based ApproachesIntegration of AI and OR Techniques in Constraint Programming (CPAIOR), 2024 Léo Boisvert Hélene Verhaeghe Quentin Cappart 162 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 219 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 177 1 0 06 Mar 2024
Graph Pruning for Enumeration of Minimal Unsatisfiable Subsets Panagiotis Lymperopoulos Liping Liu 149 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 138 9 0 16 Feb 2024
Learning Better Representations From Less Data For Propositional Satisfiability Mohamed Ghanem Frederik Schmitt Julian Siber Bernd Finkbeiner NAI 174 3 0 13 Feb 2024
torchmSAT: A GPU-Accelerated Approximation To The Maximum Satisfiability Problem Abdelrahman I. Hosny Sherief Reda 156 3 0 06 Feb 2024
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive SynthesisInternational Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2024 Matthias Cosler Christopher Hahn Ayham Omar Frederik Schmitt NAI 140 1 0 22 Jan 2024
Machine Learning Insides OptVerse AI Solver: Design Principles and Applications Xijun Li Fangzhou Zhu Hui-Ling Zhen Weilin Luo Meng Lu ... Jia Zeng Mingxuan Yuan Jianye Hao Jun Yao Kun Mao 252 6 0 11 Jan 2024