250 citations · 268 across the 8 of their papers we have counts for
1 paper · 1 filter
Haoyu Zhu, Yao Zhang, Jiashen Ren +1
Neural network constraint satisfaction is crucial for safety-critical applications such as power system optimization, robotic path planning, and autonomous driving. However, existi…