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
Siamese Graph Neural Networks for Data Integration E. Krivosheev Mattia Atzeni Katsiaryna Mirylenka P. Scotton Fabio Casati GNN 94 12 0 17 Jan 2020
Learning Variable Ordering Heuristics for Solving Constraint Satisfaction ProblemsEngineering applications of artificial intelligence (EAAI), 2019 Wen Song Zhiguang Cao Jie Zhang Andrew Lim 192 37 0 23 Dec 2019
From Shallow to Deep Interactions Between Knowledge Representation, Reasoning and Machine Learning (Kay R. Amel group) Zied Bouraoui Antoine Cornuéjols Thierry Denoeux Sebastien Destercke Didier Dubois ... Jérôme Mengin H. Prade Steven Schockaert M. Serrurier Christel Vrain 239 14 0 13 Dec 2019
Deep Learning-based Hybrid Graph-Coloring Algorithm for Register Allocation Dibyendu Das Shahid Asghar Ahmad K. Venkataramanan GNN 82 6 0 08 Dec 2019
Property Invariant Embedding for Automated ReasoningEuropean Conference on Artificial Intelligence (ECAI), 2019 Miroslav Olsák C. Kaliszyk Josef Urban NAI 200 43 0 27 Nov 2019
On the Robustness of Deep Learning-predicted Contention Models for Network CalculusInternational Symposium on Computers and Communications (ISCC), 2019 Fabien Geyer Steffen Bondorf OOD 373 8 0 24 Nov 2019
Discrete and Continuous Deep Residual Learning Over GraphsInternational Conference on Agents and Artificial Intelligence (ICAART), 2019 Pedro H. C. Avelar Anderson R. Tavares Marco Gori Luís C. Lamb GNN 157 21 0 21 Nov 2019
Program synthesis performance constrained by non-linear spatial relations in Synthetic Visual Reasoning Test Lu Yihe S. Lowe P. Lewis M. C. W. Rossum NAI 141 5 0 18 Nov 2019
G2SAT: Learning to Generate SAT FormulasNeural Information Processing Systems (NeurIPS), 2019 Jiaxuan You Haoze Wu Clark W. Barrett R. Ramanujan J. Leskovec NAI 157 41 0 29 Oct 2019
Learning Transferable Graph ExplorationNeural Information Processing Systems (NeurIPS), 2019 H. Dai Yujia Li Chenglong Wang Rishabh Singh Po-Sen Huang Pushmeet Kohli 134 22 0 28 Oct 2019
Deep Reinforcement Learning for Synthesizing Functions in Higher-Order LogicLogic Programming and Automated Reasoning (LPAR), 2019 Thibault Gauthier 157 14 0 25 Oct 2019
Neural Execution of Graph AlgorithmsInternational Conference on Learning Representations (ICLR), 2019 Petar Velickovic Rex Ying Matilde Padovano R. Hadsell Charles Blundell GNN 326 190 0 23 Oct 2019
Neural Logic Networks Shaoyun Shi Hanxiong Chen Min Zhang Zelong Li NAI AI4CE 133 16 0 17 Oct 2019
Can $Q$ -Learning with Graph Networks Learn a Generalizable Branching Heuristic for a SAT Solver? Vitaly Kurin Saad Godil Shimon Whiteson Bryan Catanzaro NAI 206 31 0 26 Sep 2019
Graph Neural Reasoning May Fail in Certifying Boolean Unsatisfiability Ziliang Chen Zhanfu Yang NAI AI4CE 169 5 0 25 Sep 2019
CLN2INV: Learning Loop Invariants with Continuous Logic NetworksInternational Conference on Learning Representations (ICLR), 2019 Gabriel Ryan Justin Wong Jianan Yao Ronghui Gu Suman Jana LRM 193 67 0 25 Sep 2019
Graph Neural Networks for Maximum Constraint SatisfactionFrontiers in Artificial Intelligence (FAI), 2019 Jan Toenshoff Martin Ritzert Hinrikus Wolf Martin Grohe GNN NAI AI4CE 220 65 0 18 Sep 2019
Powerset Convolutional Neural NetworksNeural Information Processing Systems (NeurIPS), 2019 Chris Wendler Dan Alistarh Markus Püschel GNN 206 19 0 05 Sep 2019
Neural Logic Rule LayersInformation Sciences (Inf. Sci.), 2019 Jan Niclas Reimann Andreas Schwung NAI AI4CE 135 14 0 01 Jul 2019
GNN-FiLM: Graph Neural Networks with Feature-wise Linear ModulationInternational Conference on Machine Learning (ICML), 2019 Marc Brockschmidt 351 168 0 28 Jun 2019
Accelerating Primal Solution Findings for Mixed Integer Programs Based on Solution Prediction Jianpeng Ding Chao Zhang Lei Shen Shengyin Li Bing Wang Yinghui Xu Le Song 144 9 0 23 Jun 2019
A Review of Machine Learning Applications in Fuzzing Gary J. Saavedra Kathryn N. Rodhouse Daniel M. Dunlavy P. Kegelmeyer 205 31 0 13 Jun 2019
Position-aware Graph Neural NetworksInternational Conference on Machine Learning (ICML), 2019 Jiaxuan You Rex Ying J. Leskovec 273 549 0 11 Jun 2019
Learning dynamic polynomial proofsNeural Information Processing Systems (NeurIPS), 2019 Alhussein Fawzi Mateusz Malinowski Hamza Fawzi Omar Fawzi 130 18 0 04 Jun 2019
Exact Combinatorial Optimization with Graph Convolutional Neural NetworksNeural Information Processing Systems (NeurIPS), 2019 Maxime Gasse Didier Chételat Nicola Ferroni Laurent Charlin Andrea Lodi GNN CML 399 571 0 04 Jun 2019
Deep Reasoning Networks: Thinking Fast and Slow Di Chen Yiwei Bai Wenting Zhao Sebastian Ament J. Gregoire Daniel Schwalbe-Koda PINN LRM 156 24 0 03 Jun 2019
What Can Neural Networks Reason About?International Conference on Learning Representations (ICLR), 2019 Keyulu Xu Jingling Li Mozhi Zhang S. Du Ken-ichi Kawarabayashi Stefanie Jegelka NAI AI4CE 282 268 0 30 May 2019
Towards Finding Longer ProofsInternational Conference on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX), 2019 Zsolt Zombori Adrián Csiszárik Henryk Michalewski C. Kaliszyk Josef Urban OffRL LRM 242 18 0 30 May 2019
Neural Consciousness Flow Xiaoran Xu Wei Feng Zhiqing Sun Zhihong Deng GNN AI4CE 180 2 0 30 May 2019
SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solverInternational Conference on Machine Learning (ICML), 2019 Po-Wei Wang P. Donti Bryan Wilder Zico Kolter LRM NAI 220 281 0 29 May 2019
Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers Zhanfu Yang Fei Wang Ziliang Chen Guannan Wei Tiark Rompf NAI GNN 63 8 0 27 Apr 2019
On Learning to Prove Daniel Huang 207 3 0 24 Apr 2019
Learning to Reason: Leveraging Neural Networks for Approximate DNF Counting Ralph Abboud .Ismail .Ilkan Ceylan Thomas Lukasiewicz 272 31 0 04 Apr 2019
Analysing Mathematical Reasoning Abilities of Neural Models D. Saxton Edward Grefenstette Felix Hill Pushmeet Kohli LRM 471 481 0 02 Apr 2019
Guiding High-Performance SAT Solvers with Unsat-Core Predictions Daniel Selsam Nikolaj S. Bjørner NAI 291 134 0 12 Mar 2019
Graph Colouring Meets Deep Learning: Effective Graph Neural Network Models for Combinatorial Problems Henrique Lemos Marcelo O. R. Prates Pedro H. C. Avelar Luís C. Lamb GNN 179 96 0 11 Mar 2019
Learning Self-Game-Play Agents for Combinatorial Optimization Problems Ruiyang Xu K. Lieberherr AI4CE 75 12 0 08 Mar 2019
PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers Saeed Amizadeh Sergiy Matusevych Markus Weimer AI4CE 143 22 0 05 Mar 2019
Estimating the Circuit Deobfuscating Runtime based on Graph Deep Learning Zhiqian Chen Gaurav Kolhe S. Rafatirad Sai Manoj P D Houman Homayoun Bo Pan Chang-Tien Lu AAML 123 14 0 14 Feb 2019
Neural-Network Guided Expression Transformation Romain Edelmann Viktor Kunčak 75 1 0 06 Feb 2019
Typed Graph Networks Marcelo O. R. Prates Pedro H. C. Avelar Henrique Lemos Marco Gori Luís C. Lamb GNN 178 6 0 23 Jan 2019
Differentiable Satisfiability and Differentiable Answer Set Programming for Sampling-Based Multi-Model Optimization Matthias Nickles 92 1 0 31 Dec 2018
Graph Neural Networks: A Review of Methods and Applications Jie Zhou Ganqu Cui Shengding Hu Zhengyan Zhang Cheng Yang Zhiyuan Liu Lifeng Wang Changcheng Li Maosong Sun AI4CE GNN 1.9K 6,340 0 20 Dec 2018
Machine Learning for Combinatorial Optimization: a Methodological Tour d'Horizon Yoshua Bengio Andrea Lodi Antoine Prouvost 414 1,590 0 15 Nov 2018
Fast OBDD Reordering using Neural Message Passing on Hypergraph Geon-min Kim Hwaran Lee Bo-Kyeong Kim Soo-Young Lee AI4CE 71 3 0 06 Nov 2018
Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning M. Kusumoto Keisuke Yahata Masahiro Sakai AIMat LRM 131 14 0 02 Nov 2018
Combinatorial Optimization with Graph Convolutional Networks and Guided Tree Search Zhuwen Li Qifeng Chen V. Koltun GNN 212 519 0 25 Oct 2018
Learning to Perform Local Rewriting for Combinatorial Optimization Xinyun Chen Yuandong Tian NAI OffRL 602 402 0 30 Sep 2018
Multitask Learning on Graph Neural Networks: Learning Multiple Graph Centrality Measures with a Unified Network Pedro H. C. Avelar Henrique Lemos Marcelo O. R. Prates Luís C. Lamb 211 19 0 11 Sep 2018
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 267 33 0 08 Sep 2018