25 citations · 75 across the 16 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
cs.AI2023
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning
Haoze Wu, Christopher Hahn, Florian Lonsing +3
We present Self-Driven Strategy Learning (), a lightweight online learning methodology for automated reasoning tasks that involve solving a set of related problems.…
cs.LG2023★ 1 cited
Convex Bounds on the Softmax Function with Applications to Robustness Verification
Dennis Wei, Haoze Wu, Min Wu +3
The softmax function is a ubiquitous component at the output of neural networks and increasingly in intermediate layers as well. This paper provides convex lower bounds and concave…
cs.RO2023
Soy: An Efficient MILP Solver for Piecewise-Affine Systems
Haoze Wu, Min Wu, Dorsa Sadigh +1
Piecewise-affine (PWA) systems are widely used for modeling and control of robotics problems including modeling contact dynamics. A common approach is to encode the control problem…