Duo Zhou

~Duo_Zhou1

2

论文总数

1.0

年均投稿

6.8

平均评分

接收情况2/2

会议分布

NeurIPS

2

发表论文 (2 篇)

20251 篇

Clip-and-Verify: Linear Constraint-Driven Domain Clipping for Accelerating Neural Network Verification

NeurIPS 2025Poster

20241 篇

Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes

NeurIPS 2024Poster

合作者 (5)

Grani A. Hanasusanto2 篇

Huan Zhang2 篇

Christopher Brix1 篇

Hesun Chen1 篇

Jorge Chavez1 篇