Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1702.03592
Cited By
Graph Neural Networks and Boolean Satisfiability
12 February 2017
Benedikt Bünz
Matthew Lamm
GNN
AI4CE
NAI
Re-assign community
ArXiv (abs)
PDF
HTML
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
1