影响力指数

31.8/100

前 22.5%

全站排名 #14,454

发表论文3 篇

平均评分5.7

年均产出1.5 篇/年

Qinxiang Cao

Associate Professor@Shanghai Jiaotong University·中国·OpenReview

Let's Explore Step by Step: Generating Provable Formal Statements with Deductive Exploration

ICLR 2026Poster

Rethinking and Improving Autoformalization: Towards a Faithful Metric and a Dependency Retrieval-based Approach

ICLR 2025Spotlight

Bootstrapping Hierarchical Autoregressive Formal Reasoner with Chain-of-Proxy-Autoformalization

NeurIPS 2025Poster

合作者 (7)