1 citations · 1 across the 2 of their papers we have counts for
2 papers
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…
cs.RO2023★ 1 cited
CIDGIKc: Distance-Geometric Inverse Kinematics for Continuum Robots
Hanna Jiamei Zhang, Matthew Giamou, Filip Marić +2
The small size, high dexterity, and intrinsic compliance of continuum robots (CRs) make them well suited for constrained environments. Solving the inverse kinematics (IK), that is…