Rudy Bunel

Identifiers

No identifiers captured yet.

Papers (11)

1. Knowing When to Stop: Evaluation and Verification of Conformity to Output-size Specifications cs.LG · 2019 · author #2
2. Verification of Non-Linear Specifications for Neural Networks cs.LG · 2019 · author #4
3. Efficient Relaxations for Dense CRFs with Sparse Higher Order Potentials cs.CV · 2018 · author #4
4. Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis cs.LG · 2018 · author #1
5. A Unified View of Piecewise Linear Neural Network Verification cs.AI · 2017 · author #1
6. Neural Program Meta-Induction cs.AI · 2017 · author #2
7. Learning to superoptimize programs - Workshop Version cs.LG · 2016 · author #1
8. Efficient Linear Programming for Dense CRFs cs.CV · 2016 · author #3
9. Learning to superoptimize programs cs.LG · 2016 · author #1
10. Efficient Continuous Relaxations for Dense CRF cs.CV · 2016 · author #2
11. Adaptive Neural Compilation cs.AI · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Pushmeet Kohli 10 shared papers
• M. Pawan Kumar 7 shared papers
• Alban Desmaison 6 shared papers
• Philip H.S. Torr 6 shared papers
• Jacob Devlin 2 shared papers
• Mathieu Salzmann 2 shared papers
• Matthew Hausknecht 2 shared papers
• Rishabh Singh 2 shared papers
• Thalaiyasingam Ajanthan 2 shared papers
• Brendan O'Donoghue 1 shared papers
• Chenglong Wang 1 shared papers
• Chongli Qin 1 shared papers
• Edward Grefenstette 1 shared papers
• Grzegorz Swirszcz 1 shared papers
• Ilker Turkaslan 1 shared papers
• Jonathan Uesato 1 shared papers
• Krishnamurthy (Dj) Dvijotham 1 shared papers
• Krishnamurthy Dvijotham 1 shared papers
• Philip H.S.Torr 1 shared papers
• Po-Sen Huang 1 shared papers