Graph Neural Networks and Boolean Satisfiability

12 February 2017

Papers citing "Graph Neural Networks and Boolean Satisfiability"

4 / 4 papers shown

Title
MEUZZ: Smart Seed Scheduling for Hybrid Fuzzing Yaohui Chen Mansour Ahmadi Reza Mirzazade Farkhani Boyu Wang Long Lu 61 47 0 20 Feb 2020
Improving Graph Attention Networks with Large Margin-based Constraints Guangtao Wang Rex Ying Jing-ling Huang J. Leskovec 63 82 0 25 Oct 2019
A Review of Machine Learning Applications in Fuzzing Gary J. Saavedra Kathryn N. Rodhouse Daniel M. Dunlavy P. Kegelmeyer 74 28 0 13 Jun 2019
Automated proof synthesis for propositional logic with deep neural networks Taro Sekiyama Kohei Suenaga NAI 44 10 0 30 May 2018