影响力指数

-/100

发表论文1 篇

平均评分5.0

年均产出1.0 篇/年

BIAO LI

Researcher@Shanghai Qizhi Institute·中国·OpenReview

Clarifying Before Reasoning: A Coq Prover with Structural Context

ICLR 2026Rejected

合作者 (8)