327 citations · 1.3k across the 66 of their papers we have counts for
3 papers · 1 filter
Evaluating Robustness of Neural Networks with Mixed Integer Programming
Vincent Tjeng, Kai Xiao, Russ Tedrake
Neural networks have demonstrated considerable success on a wide variety of real-world problems. However, networks trained only to optimize for training accuracy can often be foole…
Functional Co-Optimization of Articulated Robots
Andrew Spielberg, Brandon Araki, Cynthia Sung +2
We present parametric trajectory optimization, a method for simultaneously computing physical parameters, actuation requirements, and robot motions for more efficient robot designs…
LabelFusion: A Pipeline for Generating Ground Truth Labels for Real RGBD Data of Cluttered Scenes
Pat Marion, Peter R. Florence, Lucas Manuelli +1
Deep neural network (DNN) architectures have been shown to outperform traditional pipelines for object segmentation and pose estimation using RGBD data, but the performance of thes…