Learning a SAT Solver from Single-Bit Supervision

11 February 2018

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

50 / 105 papers shown

Title
Asymmetric Graph Representation Learning Zhuo Tan B. Liu Guosheng Yin 24 1 0 14 Oct 2021
Link Scheduling using Graph Neural Networks Zhongyuan Zhao Gunjan Verma Chirag R. Rao A. Swami Santiago Segarra GNN 29 34 0 12 Sep 2021
Learning a Large Neighborhood Search Algorithm for Mixed Integer Programs Nicolas Sonnerat Pengming Wang Ira Ktena Sergey Bartunov Vinod Nair 29 45 0 21 Jul 2021
Transformer-based Machine Learning for Fast SAT Solvers and Logic Synthesis Feng Shi Chonghan Lee M. K. Bashar N. Shukla Song-Chun Zhu N. Vijaykrishnan NAI LRM 39 12 0 15 Jul 2021
Learning to Pool in Graph Neural Networks for Extrapolation Jihoon Ko Taehyung Kwon Kijung Shin Juho Lee 21 6 0 11 Jun 2021
Can You Learn an Algorithm? Generalizing from Easy to Hard Problems with Recurrent Networks Avi Schwarzschild Eitan Borgnia Arjun Gupta Furong Huang U. Vishkin Micah Goldblum Tom Goldstein 24 74 0 08 Jun 2021
A Survey on Deep Semi-supervised Learning Xiangli Yang Zixing Song Irwin King Zenglin Xu 27 569 0 28 Feb 2021
TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning Minchao Wu Michael Norrish Christian J. Walder Amir Dezfouli 12 40 0 19 Feb 2021
Combinatorial optimization and reasoning with graph neural networks Quentin Cappart Didier Chételat Elias Boutros Khalil Andrea Lodi Christopher Morris Petar Velickovic AI4CE 34 352 0 18 Feb 2021
Proof Artifact Co-training for Theorem Proving with Language Models Jesse Michael Han Jason M. Rute Yuhuai Wu Edward W. Ayers Stanislas Polu AIMat 27 121 0 11 Feb 2021
LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning Yuhuai Wu M. Rabe Wenda Li Jimmy Ba Roger C. Grosse Christian Szegedy AIMat LRM 75 53 0 15 Jan 2021
ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language Oyvind Tafjord Bhavana Dalvi Peter Clark 21 261 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 127 244 0 23 Dec 2020
Graph Neural Networks: Taxonomy, Advances and Trends Yu Zhou Haixia Zheng Xin Huang Shufeng Hao Dengao Li Jumin Zhao AI4TS 27 117 0 16 Dec 2020
Learning to Dispatch for Job Shop Scheduling via Deep Reinforcement Learning Cong Zhang Wen Song Zhiguang Cao Jie Zhang Puay Siew Tan Chi Xu 62 302 0 23 Oct 2020
Optimal Robustness-Consistency Trade-offs for Learning-Augmented Online Algorithms Alexander Wei Fred Zhang 24 93 0 22 Oct 2020
PRover: Proof Generation for Interpretable Reasoning over Rules Swarnadeep Saha Sayan Ghosh Shashank Srivastava Joey Tianyi Zhou ReLM LRM 34 77 0 06 Oct 2020
Deep Reinforcement Learning for Electric Vehicle Routing Problem with Time Windows Bo Lin Bissan Ghaddar J. Nathwani AI4TS 21 93 0 05 Oct 2020
The Surprising Power of Graph Neural Networks with Random Node Initialization Ralph Abboud .Ismail .Ilkan Ceylan Martin Grohe Thomas Lukasiewicz 36 216 0 02 Oct 2020
NNgSAT: Neural Network guided SAT Attack on Logic Locked Complex Structures Kimia Azar Hadi Kamali Houman Homayoun Avesta Sasan AAML 17 43 0 04 Sep 2020
Neural Logic Reasoning Shaoyun Shi H. Chen Weizhi Ma Jiaxin Mao Min Zhang Yongfeng Zhang NAI LRM AI4CE 31 94 0 20 Aug 2020
Deep Learning for Abstract Argumentation Semantics Dennis Craandijk Floris Bex SSeg 24 30 0 15 Jul 2020
Enhancing SAT solvers with glue variable predictions Jesse Michael Han NAI AAML 14 13 0 06 Jul 2020
Neuro-Symbolic Visual Reasoning: Disentangling "Visual" from "Reasoning" Saeed Amizadeh Hamid Palangi Oleksandr Polozov Yichen Huang K. Koishida NAI LRM 39 58 0 20 Jun 2020
Learning advanced mathematical computations from examples Franccois Charton Amaury Hayat Guillaume Lample PINN 21 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 22 82 0 06 Jun 2020
Machine Learning on Graphs: A Model and Comprehensive Taxonomy Ines Chami Sami Abu-El-Haija Bryan Perozzi Christopher Ré Kevin Patrick Murphy 22 286 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 43 84 0 06 Apr 2020
Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks (Extended Version) Jianan Yao Gabriel Ryan Justin Wong Suman Jana Ronghui Gu AI4CE 24 49 0 17 Mar 2020
It's Not What Machines Can Learn, It's What We Cannot Teach Gal Yehuda Moshe Gabel Assaf Schuster FaML 19 37 0 21 Feb 2020
A Deep Reinforcement Learning Algorithm Using Dynamic Attention Model for Vehicle Routing Problems Bo Peng Jiahai Wang Zizhen Zhang 26 73 0 09 Feb 2020
NLocalSAT: Boosting Local Search with Solution Prediction Wenjie Zhang Zeyu Sun Qihao Zhu Ge Li Shaowei Cai Yingfei Xiong Lu Zhang 14 53 0 26 Jan 2020
Learning Variable Ordering Heuristics for Solving Constraint Satisfaction Problems Wen Song Zhiguang Cao Jie Zhang Andrew Lim 27 33 0 23 Dec 2019
G2SAT: Learning to Generate SAT Formulas Jiaxuan You Haoze Wu Clark W. Barrett R. Ramanujan J. Leskovec NAI 27 35 0 29 Oct 2019
Neural Logic Networks Shaoyun Shi Hanxiong Chen Min Zhang Yongfeng Zhang NAI AI4CE 15 15 0 17 Oct 2019
Neural Logic Rule Layers Jan Niclas Reimann Andreas Schwung NAI AI4CE 19 12 0 01 Jul 2019
GNN-FiLM: Graph Neural Networks with Feature-wise Linear Modulation Marc Brockschmidt 28 134 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 35 8 0 23 Jun 2019
A Review of Machine Learning Applications in Fuzzing Gary J. Saavedra Kathryn N. Rodhouse Daniel M. Dunlavy P. Kegelmeyer 11 27 0 13 Jun 2019
Position-aware Graph Neural Networks Jiaxuan You Rex Ying J. Leskovec 28 490 0 11 Jun 2019
Learning dynamic polynomial proofs Alhussein Fawzi Mateusz Malinowski Hamza Fawzi Omar Fawzi 33 17 0 04 Jun 2019
Exact Combinatorial Optimization with Graph Convolutional Neural Networks Maxime Gasse Didier Chételat Nicola Ferroni Laurent Charlin Andrea Lodi GNN CML 66 473 0 04 Jun 2019
Towards Finding Longer Proofs Zsolt Zombori Adrián Csiszárik Henryk Michalewski C. Kaliszyk Josef Urban OffRL LRM 29 15 0 30 May 2019
Neural Consciousness Flow Xiaoran Xu Wei Feng Zhiqing Sun Zhihong Deng GNN AI4CE 27 2 0 30 May 2019
Analysing Mathematical Reasoning Abilities of Neural Models D. Saxton Edward Grefenstette Felix Hill Pushmeet Kohli LRM 39 418 0 02 Apr 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 27 83 0 11 Mar 2019
Graph Neural Networks: A Review of Methods and Applications Jie Zhou Yuchen Zhang Shengding Hu Zhengyan Zhang Cheng Yang Zhiyuan Liu Lifeng Wang Changcheng Li Maosong Sun AI4CE GNN 33 5,416 0 20 Dec 2018
Machine Learning for Combinatorial Optimization: a Methodological Tour d'Horizon Yoshua Bengio Andrea Lodi Antoine Prouvost 89 1,354 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 24 2 0 06 Nov 2018
Learning to Perform Local Rewriting for Combinatorial Optimization Xinyun Chen Yuandong Tian NAI OffRL 45 338 0 30 Sep 2018