Heng Guo

Improving Certified Robustness via Statistical Learning with Logical Reasoning

2020 · arXiv (Cornell University)

Intensive algorithmic efforts have been made to enable the rapid improvements of certificated robustness for complex ML models recently. However, current robustness certification methods are only able to certify under a limited perturbation radius. Given …

Rapid Mixing of the Flip Chain over Non-Crossing Spanning Trees

2024 · arXiv (Cornell University)

We show that the flip chain for non-crossing spanning trees of $n+1$ points in convex position mixes in time $O(n^8\log n)$. We use connections between Fuss-Catalan structures to construct a comparison argument with a chain …