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
A Survey on Deep Semi-supervised Learning
IEEE Transactions on Knowledge and Data Engineering (TKDE), 2021
Xiangli Yang
Zixing Song
Irwin King
Zenglin Xu
375
772
0
28 Feb 2021
Graph-based Semi-supervised Learning: A Comprehensive Review
IEEE Transactions on Neural Networks and Learning Systems (TNNLS), 2021
Zixing Song
Xiangli Yang
Zenglin Xu
Irwin King
305
270
0
26 Feb 2021
Generalized Equivariance and Preferential Labeling for GNN Node Classification
AAAI Conference on Artificial Intelligence (AAAI), 2021
Zeyu Sun
Wenjie Zhang
Lili Mou
Qihao Zhu
Yingfei Xiong
Jun Liu
233
14
0
23 Feb 2021
TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning
Neural Information Processing Systems (NeurIPS), 2021
Minchao Wu
Michael Norrish
Christian J. Walder
Amir Dezfouli
166
46
0
19 Feb 2021
Combinatorial optimization and reasoning with graph neural networks
International Joint Conference on Artificial Intelligence (IJCAI), 2021
Quentin Cappart
Didier Chételat
Elias Boutros Khalil
Andrea Lodi
Christopher Morris
Petar Velickovic
AI4CE
471
431
0
18 Feb 2021
LTL2Action: Generalizing LTL Instructions for Multi-Task RL
International Conference on Machine Learning (ICML), 2021
Pashootan Vaezipoor
Andrew C. Li
Rodrigo Toro Icarte
Sheila A. McIlraith
OffRL
AI4CE
322
95
0
13 Feb 2021
Proof Artifact Co-training for Theorem Proving with Language Models
International Conference on Learning Representations (ICLR), 2021
Jesse Michael Han
Jason M. Rute
Yuhuai Wu
Edward W. Ayers
Stanislas Polu
AIMat
383
141
0
11 Feb 2021
Zero Training Overhead Portfolios for Learning to Solve Combinatorial Problems
Yiwei Bai
Wenting Zhao
Daniel Schwalbe-Koda
223
1
0
05 Feb 2021
Solving QSAT problems with neural MCTS
Ruiyang Xu
K. Lieberherr
50
0
0
17 Jan 2021
LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning
International Conference on Machine Learning (ICML), 2021
Yuhuai Wu
M. Rabe
Wenda Li
Jimmy Ba
Roger C. Grosse
Christian Szegedy
AIMat
LRM
247
63
0
15 Jan 2021
Machine Learning for Electronic Design Automation: A Survey
Guyue Huang
Jingbo Hu
Yifan He
Jialong Liu
Mingyuan Ma
...
Yuzhe Ma
Haoyu Yang
Bei Yu
Huazhong Yang
Yu Wang
239
294
0
10 Jan 2021
ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language
Findings (Findings), 2020
Oyvind Tafjord
Bhavana Dalvi
Peter Clark
443
365
0
24 Dec 2020
Solving Mixed Integer Programs Using Neural Networks
Vinod Nair
Sergey Bartunov
Felix Gimeno
Ingrid von Glehn
Pawel Lichocki
...
Pushmeet Kohli
Ira Ktena
Yujia Li
Oriol Vinyals
Yori Zwols
444
292
0
23 Dec 2020
Universal Policies for Software-Defined MDPs
Daniel Selsam
Jesse Michael Han
L. D. Moura
Patrice Godefroid
136
2
0
21 Dec 2020
Generalize a Small Pre-trained Model to Arbitrarily Large TSP Instances
AAAI Conference on Artificial Intelligence (AAAI), 2020
Zhang-Hua Fu
K. Qiu
H. Zha
TPM
264
223
0
19 Dec 2020
Graph Neural Networks: Taxonomy, Advances and Trends
ACM Transactions on Intelligent Systems and Technology (ACM TIST), 2020
Yu Zhou
Haixia Zheng
Xin Huang
Shufeng Hao
Dengao Li
Jumin Zhao
AI4TS
615
166
0
16 Dec 2020
Learning from Survey Propagation: a Neural Network for MAX-E-
3
3
3
-SAT
Raffaele Marino
175
16
0
10 Dec 2020
Towards Scale-Invariant Graph-related Problem Solving by Iterative Homogeneous Graph Neural Networks
Hao Tang
Zhiao Huang
Jiayuan Gu
Bao-Liang Lu
Hao Su
AI4CE
168
10
0
26 Oct 2020
Learning to Dispatch for Job Shop Scheduling via Deep Reinforcement Learning
Neural Information Processing Systems (NeurIPS), 2020
Cong Zhang
Wen Song
Zhiguang Cao
Jie Zhang
Puay Siew Tan
Chi Xu
288
386
0
23 Oct 2020
Optimal Robustness-Consistency Trade-offs for Learning-Augmented Online Algorithms
Alexander Wei
Fred Zhang
173
112
0
22 Oct 2020
PRover: Proof Generation for Interpretable Reasoning over Rules
Swarnadeep Saha
Sayan Ghosh
Shashank Srivastava
Joey Tianyi Zhou
ReLM
LRM
226
80
0
06 Oct 2020
Deep Reinforcement Learning for Electric Vehicle Routing Problem with Time Windows
Bo Lin
Bissan Ghaddar
J. Nathwani
AI4TS
192
133
0
05 Oct 2020
The Surprising Power of Graph Neural Networks with Random Node Initialization
International Joint Conference on Artificial Intelligence (IJCAI), 2020
Ralph Abboud
.Ismail .Ilkan Ceylan
Martin Grohe
Thomas Lukasiewicz
353
253
0
02 Oct 2020
Extending Answer Set Programs with Neural Networks
Zhun Yang
ReLM
NAI
LRM
184
0
0
22 Sep 2020
NNgSAT: Neural Network guided SAT Attack on Logic Locked Complex Structures
Kimia Azar
Hadi Kamali
Houman Homayoun
Avesta Sasan
AAML
143
45
0
04 Sep 2020
Neural Logic Reasoning
Shaoyun Shi
H. Chen
Weizhi Ma
Jiaxin Mao
Min Zhang
Zelong Li
NAI
LRM
AI4CE
193
104
0
20 Aug 2020
Boosting Ant Colony Optimization via Solution Prediction and Machine Learning
Computers & Operations Research (Comput. Oper. Res.), 2020
Yuan Sun
Sheng Wang
Yunzhuang Shen
Xiaodong Li
Andreas T. Ernst
M. Kirley
185
36
0
29 Jul 2020
Deep Learning for Abstract Argumentation Semantics
International Joint Conference on Artificial Intelligence (IJCAI), 2020
Dennis Craandijk
Floris Bex
SSeg
193
34
0
15 Jul 2020
Learning Branching Heuristics for Propositional Model Counting
Pashootan Vaezipoor
Gil Lederman
Yuhuai Wu
Chris J. Maddison
Roger C. Grosse
Sanjit A. Seshia
F. Bacchus
LRM
176
14
0
07 Jul 2020
Enhancing SAT solvers with glue variable predictions
Jesse Michael Han
NAI
AAML
149
18
0
06 Jul 2020
Dropout as a Regularizer of Interaction Effects
Benjamin J. Lengerich
Eric Xing
R. Caruana
305
9
0
02 Jul 2020
Belief Propagation Neural Networks
Jonathan Kuck
Shuvam Chakraborty
Hao Tang
Rachel Luo
Jiaming Song
Ashish Sabharwal
Stefano Ermon
198
47
0
01 Jul 2020
Neuro-Symbolic Visual Reasoning: Disentangling "Visual" from "Reasoning"
Saeed Amizadeh
Hamid Palangi
Oleksandr Polozov
Yichen Huang
K. Koishida
NAI
LRM
336
70
0
20 Jun 2020
Learning What to Defer for Maximum Independent Sets
SungSoo Ahn
Younggyo Seo
Jinwoo Shin
195
84
0
17 Jun 2020
Learning the Travelling Salesperson Problem Requires Rethinking Generalization
Chaitanya K. Joshi
Quentin Cappart
Louis-Martin Rousseau
T. Laurent
737
148
0
12 Jun 2020
Learning advanced mathematical computations from examples
Franccois Charton
Amaury Hayat
Guillaume Lample
PINN
210
4
0
11 Jun 2020
Learning to Solve Combinatorial Optimization Problems on Real-World Graphs in Linear Time
Iddo Drori
Anant Kharkar
William R. Sickinger
Brandon Kates
Qiang Ma
Suwen Ge
Eden Dolev
Brenda L Dietrich
David P. Williamson
Madeleine Udell
212
96
0
06 Jun 2020
Neural heuristics for SAT solving
Sebastian Jaszczur
M. Luszczyk
Henryk Michalewski
NAI
114
12
0
27 May 2020
Learning Combinatorial Optimization on Graphs: A Survey with Applications to Networking
N. Vesselinova
Rebecca Steinert
Daniel F. Perez-Ramirez
Magnus Boman
GNN
AI4CE
260
162
0
22 May 2020
Machine Learning on Graphs: A Model and Comprehensive Taxonomy
Ines Chami
Sami Abu-El-Haija
Bryan Perozzi
Christopher Ré
Kevin Patrick Murphy
343
328
0
07 May 2020
Evaluating Models' Local Decision Boundaries via Contrast Sets
Matt Gardner
Yoav Artzi
Victoria Basmova
Jonathan Berant
Ben Bogin
...
Sanjay Subramanian
Reut Tsarfaty
Eric Wallace
Ally Zhang
Ben Zhou
ELM
313
84
0
06 Apr 2020
Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks (Extended Version)
ACM-SIGPLAN Symposium on Programming Language Design and Implementation (PLDI), 2020
Jianan Yao
Gabriel Ryan
Justin Wong
Suman Jana
Ronghui Gu
AI4CE
338
61
0
17 Mar 2020
Learning Algebraic Multigrid Using Graph Neural Networks
International Conference on Machine Learning (ICML), 2020
Ilay Luz
Meirav Galun
Haggai Maron
Ronen Basri
I. Yavneh
201
81
0
12 Mar 2020
Teaching Temporal Logics to Neural Networks
International Conference on Learning Representations (ICLR), 2020
Christopher Hahn
Frederik Schmitt
Jens U. Kreber
M. Rabe
Bernd Finkbeiner
NAI
373
75
0
06 Mar 2020
Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective
International Joint Conference on Artificial Intelligence (IJCAI), 2020
Luís C. Lamb
Artur S. dÁvila Garcez
Marco Gori
Marcelo O. R. Prates
Pedro H. C. Avelar
Moshe Y. Vardi
NAI
AI4CE
357
95
0
29 Feb 2020
It's Not What Machines Can Learn, It's What We Cannot Teach
International Conference on Machine Learning (ICML), 2020
Gal Yehuda
Moshe Gabel
Assaf Schuster
FaML
145
42
0
21 Feb 2020
MEUZZ: Smart Seed Scheduling for Hybrid Fuzzing
International Symposium on Recent Advances in Intrusion Detection (RAID), 2020
Yaohui Chen
Mansour Ahmadi
Reza Mirzazade Farkhani
Boyu Wang
Long Lu
171
47
0
20 Feb 2020
Transformers as Soft Reasoners over Language
International Joint Conference on Artificial Intelligence (IJCAI), 2020
Peter Clark
Oyvind Tafjord
Kyle Richardson
ReLM
OffRL
LRM
327
418
0
14 Feb 2020
Making Logic Learnable With Neural Networks
Tobias Brudermueller
Dennis L. Shung
A. Stanley
Johannes Stegmaier
Smita Krishnaswamy
NAI
211
3
0
10 Feb 2020
A Deep Reinforcement Learning Algorithm Using Dynamic Attention Model for Vehicle Routing Problems
International Symposium on Intelligence Computation and Applications (ISICA), 2020
Bo Peng
Jiahai Wang
Zizhen Zhang
147
82
0
09 Feb 2020
Previous
1
2
3
4
5
6
Next
