Paper
Hub
搜索
Toggle language
Zhouxing Shi
~Zhouxing_Shi1
2
论文总数
1.0
年均投稿
5.3
平均评分
接收情况
0
/
2
会议分布
ICLR
2
发表论文 (2 篇)
2025
1 篇
5.3
4
Certified Training with Branch-and-Bound: A Case Study on Lyapunov-stable Neural Control
ICLR 2025
withdrawn
2024
1 篇
5.3
4
Formal Verification for Neural Networks with General Nonlinearities via Branch-and-Bound
ICLR 2024
withdrawn
合作者 (5)
CH
Cho-Jui Hsieh
2 篇
HZ
Huan Zhang
2 篇
JK
J Zico Kolter
1 篇
QJ
Qirui Jin
1 篇
SJ
Suman Jana
1 篇