Old Web
English
Sign In
Acemap
>
authorDetail
>
Bunel, Rudy R.
Bunel, Rudy R.
4
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications
2021
| Annual Conference on Neural Information Processing Systems
Leonard Berrada
Sumanth Dathathri
Krishnamurthy Dvijotham
Robert Stanforth
Bunel, Rudy R.
Jonathan Uesato
Sven Gowal
M. Pawan Kumar
Show All
Source
Cite
Save
Citations (0)
An efficient nonconvex reformulation of stagewise convex optimization problems
2020
| Annual Conference on Neural Information Processing Systems
Bunel, Rudy R.
Oliver Hinder
Srinadh Bhojanapalli
Krishnamurthy Dvijotham
Show All
Source
Cite
Save
Citations (0)
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
2020
| Annual Conference on Neural Information Processing Systems
Sumanth Dathathri
Krishnamurthy Dvijotham
Alexey Kurakin
Aditi Raghunathan
Jonathan Uesato
Bunel, Rudy R.
Shreya Shankar
Jacob Steinhardt
Ian Goodfellow
Liang, Percy S.
Pushmeet Kohli
Show All
Source
Cite
Save
Citations (0)
A Unified View of Piecewise Linear Neural Network Verification
2018
| Annual Conference on Neural Information Processing Systems
Bunel, Rudy R.
Ilker Turkaslan
Philip Torr
Pushmeet Kohli
Pawan K. Mudigonda
Show All
Source
Cite
Save
Citations (0)
1