280 citations · 665 across the 25 of their papers we have counts for
Showing 2017 · cs.AIShow all
2 papers · 2 filters
cs.AI2017★ 133 cited
A Unified View of Piecewise Linear Neural Network Verification
Rudy Bunel, Ilker Turkaslan, Philip H. S. Torr +2
The success of Deep Learning and its potential use in many safety-critical applications has motivated research on formal verification of Neural Network (NN) models. Despite the rep…
cs.AI2017
Neural Program Meta-Induction
Jacob Devlin, Rudy Bunel, Rishabh Singh +2
Most recently proposed methods for Neural Program Induction work under the assumption of having a large set of input/output (I/O) examples for learning any underlying input-output…