Suman Jana

~Suman_Jana1

3

论文总数

3.0

年均投稿

5.5

平均评分

接收情况1/3

会议分布

ICLR

3

发表论文 (3 篇)

20243 篇

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

ICLR 2024withdrawn

Beyond Accuracy: Evaluating Self-Consistency of Code Large Language Models with IdentityChain

ICLR 2024Poster

Exploiting Code Symmetries for Learning Program Semantics

ICLR 2024Rejected

合作者 (17)

Baishakhi Ray1 篇

Gail Kaiser1 篇

Luca Buratti1 篇

Marcus J. Min1 篇

Saurabh Pujar1 篇

Yangruibo Ding1 篇

Cho-Jui Hsieh1 篇