影响力指数

20.81/100

前 39.7%

全站排名 #25,588

发表论文2 篇

平均评分5.7

年均产出1.0 篇/年

Jorge Chavez

MS student@University of Illinois at Urbana-Champaign·美国·OpenReview

研究方向

Formal Verification

Guaranteed Bounding Meshes Extraction from Neural Implicit Surfaces via Neural Network Verification

ICLR 2026Withdrawn

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

NeurIPS 2025Poster

合作者 (7)

博士导师2 篇

Grani A. Hanasusanto