1 citations · 2 across the 11 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.RO2026
SPARSER: Sparse Variable Projection by Exploiting Separable Structure in Robotic Perception
Nikolas R. Sanderson, Andrew Fishberg, Haoyu Han +5
Robotic perception often requires solving large nonlinear least-squares (NLS) problems. While sparsity has been widely exploited to scale solvers, a complementary and underused str…
cs.LG2026
: Doubly Non-Negative Relaxations for Deep Neural Networks
Hanna Jiamei Zhang, Alan Papalia, Michael Everett +1
Existing linear program (LP) and semidefinite program (SDP) relaxations for rectified linear unit (ReLU) neural network (NN) verification yield overly-conservative safety guarantee…