most citedBoosting Verified Training for Robust Image Classifications via Abstraction

2 citations · 4 across the 5 of their papers we have counts for

collaborators
Showing math.OCShow all

1 paper · 1 filter

math.OC2023

Solving polynomial variational inequality problems via Lagrange multiplier expressions and Moment-SOS relaxations

Jiawang Nie, Defeng Sun, Xindong Tang +1

In this paper, we study variational inequality problems (VIPs) with involved mappings and feasible sets characterized by polynomial functions (namely, polynomial VIPs). We propose…