Qirui Jin

~Qirui_Jin1

2

论文总数

2.0

年均投稿

5.1

平均评分

接收情况0/2

会议分布

ICLR

2

发表论文 (2 篇)

20242 篇

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

ICLR 2024withdrawn

Exploiting Code Symmetries for Learning Program Semantics

ICLR 2024Rejected

合作者 (11)

Suman Jana2 篇

Cho-Jui Hsieh1 篇

Huan Zhang1 篇

J Zico Kolter1 篇

Zhouxing Shi1 篇

Junfeng Yang1 篇

Lorenzo Cavallaro1 篇