影响力指数

12.14/100

超过 37.6%

全站排名 #40,199

发表论文1 篇

平均评分4.0

年均产出1.0 篇/年

Jiangze Shi

PhD student@Beijing Institute of Technology·中国·OpenReview

研究方向

Artificial Intelligence · Auto Formalization

LoC-Decomp: LLM Autoformalization via Logical Concept Decomposition and Iterative Feedback Correction

ICLR 2026Poster

合作者 (5)

博士导师1 篇