NIPS Proceedingsβ

Rudy R. Bunel

3 Papers

  • A Unified View of Piecewise Linear Neural Network Verification (2018)
  • Neural Program Meta-Induction (2017)
  • Adaptive Neural Compilation (2016)