影响力指数

8.63/100

超过 27%

全站排名 #46,976

发表论文4 篇

平均评分4.1

年均产出1.3 篇/年

Ashish Tiwari

Principal Researcher@Microsoft·美国·OpenReview

研究方向

Formal Methods · Symbolic Computation · Programming Languages

IndiMathBench: Autoformalizing Mathematical Reasoning Problems with a Human Touch

ICLR 2026Desk Rejected

ConDABench: Interactive Evaluation of Language Models for Data Analysis

ICLR 2026Withdrawn

Execution-guided within-prompt search for programming-by-example

ICLR 2025Poster

合作者 (15)

Priyanshu Gupta

Yasharth Bajpai

Arjun Radhakrishna

Hosein Hasanbeig