Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Si Liu
conf.researchr.org general profile
ASE 2022 profile
ECOOP and ISSTA 2023 profile
POPL 2024 profile
SPLASH 2022 profile
Registered user since Sat 20 May 2023
Name:
Si Liu
Country:
Switzerland
Affiliation:
ETH Zurich
Contributions
2024
VMCAI
Author of Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training within the VMCAI 2024-track
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
Share
x
Wed 14 Aug 20:53