Hanna Jiamei Zhang

Tighter verification bounds for neural networks could finally enable safe deployment in critical systems, challenging the limitations of current relaxation methods.

Certifiably optimal estimation in robotics and computer vision just got dramatically easier: leverage your existing factor graph libraries to implement the Riemannian Staircase method.