Si Liu -

Registered user since Sat 20 May 2023

Name:Si Liu

Country:Switzerland

Affiliation:ETH Zurich

Contributions

2023

ISSTA

Author of A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation within the Technical Papers-track

2022

SPLASH

Author of Bridging the Semantic Gap between Qualitative and Quantitative Models of Distributed Systems within the OOPSLA-track

ASE

Author of Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks within the Artifact Evaluation-track
Author of Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks within the Research Papers-track