Formal verification of neural networks by Bunel, R

Adaptive neural compilation by Bunel, R, Desmaison, A, Kohli, P, Torr, P, Mudigonda, P

Learning to superoptimize programs by Mudigonda, P, Bunel, R, Desmaison, A, Kohli, P, Torr, P

Learning to superoptimize programs by Bunel, R, Desmaison, A, Kumar, M, Torr, P, Kohli, P

Efficient continuous relaxations for dense CRF by Bunel, R, Desmaison, A, Kohli, P, Torr, P, Mudigonda, P

A Unified view of piecewise linear neural network verification by Bunel, R, Turkaslan, I, Torr, P, Kohli, P, Mudigonda, P

Efficient linear programming for dense CRFs by Mudigonda, P, Ajanthan, T, Desmaison, A, Bunel, R, Salzmann, M, Torr, P

Scaling the convex barrier with active sets by De Palma, A, Behl, HS, Bunel, R, Torr, P, Kumar, MP

Branch and bound for piecewise linear neural network verification by Bunel, R, Mudigonda, P, Turkaslan, I, Torr, P, Lu, J, Kohli, P

Efficient relaxations for dense CRFs with sparse higher-order potentials by Joy, T, Desmaison, A, Ajanthan, T, Bunel, R, Salzmann, M, Kohli, P, Torr, PHS, Kumar, MP

Lagrangian decomposition for neural network verification by Bunel, R, De Palma, A, Desmaison, A, Dvijotham, K Dj, Kohli, P, Torr, PHS, Kumar, MP