Zhouxing Shi

~Zhouxing_Shi1

2

论文总数

1.0

年均投稿

5.3

平均评分

接收情况0/2

会议分布

ICLR

2

发表论文 (2 篇)

20251 篇

Certified Training with Branch-and-Bound: A Case Study on Lyapunov-stable Neural Control

ICLR 2025withdrawn

20241 篇

Formal Verification for Neural Networks with General Nonlinearities via Branch-and-Bound

ICLR 2024withdrawn

合作者 (5)

Cho-Jui Hsieh2 篇

Huan Zhang2 篇

J Zico Kolter1 篇

Suman Jana1 篇