Zhizhen Qin

~Zhizhen_Qin1

2

论文总数

1.0

年均投稿

5.5

平均评分

接收情况1/2

会议分布

NeurIPS

1

ICLR

1

发表论文 (2 篇)

20251 篇

Synthetic Theorem Generation in Lean

ICLR 2025Rejected

20241 篇

SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions

NeurIPS 2024Poster

合作者 (12)

Aidan Z.H. Yang1 篇

Brando Miranda1 篇

Hakim Hacid1 篇

Jingwei Zuo1 篇

Joseph Rotella1 篇

Leonardo de Moura1 篇

Mohamed El Amine Seddik1 篇