Showing 2024Show all
2 papers · 1 filter
math.OC2024
HPR-LP: An implementation of an HPR method for solving linear programming
Kaihuang Chen, Defeng Sun, Yancheng Yuan +2
In this paper, we introduce an HPR-LP solver, an implementation of a Halpern Peaceman-Rachford (HPR) method with semi-proximal terms for solving linear programming (LP). The HPR me…
cs.CR2024
Collective Certified Robustness against Graph Injection Attacks
Yuni Lai, Bailin Pan, Kaihuang Chen +2
We investigate certified robustness for GNNs under graph injection attacks. Existing research only provides sample-wise certificates by verifying each node independently, leading t…