Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Bubacarr Bah
Claudia Calabrese
Hao Mao
Peter Malec
Junhu Ma
Christopher Tay Meng Keat
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
RUDY BUNEL
Author Info
Open Visualization
Name
Affiliation
Papers
RUDY BUNEL
Univ Oxford, Oxford, England
13
Collaborators
Citations
PageRank
36
40
5.28
Referers
Referees
References
144
212
70
Search Limit
100
212
Publications (13 rows)
Collaborators (36 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Scaling the Convex Barrier with Active Sets
0
0.34
2021
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
0
0.34
2020
Verification of Non-Linear Specifications for Neural Networks.
2
0.36
2019
Scalable Verified Training For Provably Robust Image Classification
2
0.44
2019
Efficient Relaxations for Dense CRFs with Sparse Higher-Order Potentials.
0
0.34
2019
Knowing When To Stop: Evaluation And Verification Of Conformity To Output-Size Specifications
0
0.34
2019
A Unified View of Piecewise Linear Neural Network Verification.
10
0.43
2018
Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis.
10
0.47
2018
Piecewise Linear Neural Network verification: A comparative study.
1
0.35
2017
Neural Program Meta-Induction.
0
0.34
2017
Learning to superoptimize programs.
1
0.35
2016
Efficient Continuous Relaxations For Dense Crf
3
0.43
2016
Adaptive Neural Compilation.
11
0.77
2016
1