Christopher Brix

~Christopher_Brix1

1

论文总数

1.0

年均投稿

5.8

平均评分

接收情况1/1

会议分布

NeurIPS

1

发表论文 (1 篇)

20241 篇

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

NeurIPS 2024Poster

合作者 (3)

Grani A. Hanasusanto1 篇

Huan Zhang1 篇