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"
7 / 257 papers shown
Neural Guided Constraint Logic Programming for Program Synthesis
Lisa Zhang
Gregory Rosenblatt
Ethan Fetaya
Renjie Liao
William E. Byrd
M. Might
R. Urtasun
R. Zemel
NAI
269
33
0
08 Sep 2018
Learning to Solve NP-Complete Problems - A Graph Neural Network for Decision TSP
Marcelo O. R. Prates
Pedro H. C. Avelar
Henrique Lemos
Luís C. Lamb
Moshe Y. Vardi
GNN
195
198
0
08 Sep 2018
Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning
International Conference on Learning Representations (ICLR), 2018
Gil Lederman
M. Rabe
Edward A. Lee
Sanjit A. Seshia
271
38
0
20 Jul 2018
ML + FV =
♡
\heartsuit
♡
? A Survey on the Application of Machine Learning to Formal Verification
Moussa Amrani
L. Lucio
Adrien Bibal
186
5
0
10 Jun 2018
Relational inductive biases, deep learning, and graph networks
Peter W. Battaglia
Jessica B. Hamrick
V. Bapst
Alvaro Sanchez-Gonzalez
V. Zambaldi
...
Pushmeet Kohli
M. Botvinick
Oriol Vinyals
Yujia Li
Razvan Pascanu
AI4CE
NAI
1.3K
3,393
0
04 Jun 2018
GamePad: A Learning Environment for Theorem Proving
Daniel Huang
Prafulla Dhariwal
Basel Alomair
Ilya Sutskever
242
118
0
02 Jun 2018
Automated proof synthesis for propositional logic with deep neural networks
Taro Sekiyama
Kohei Suenaga
NAI
117
10
0
30 May 2018
Previous
1
2
3
4
5
6
