影响力指数

-/100

发表论文1 篇

平均评分4.0

年均产出1.0 篇/年

Jianlin Wang

Associate Professor@Henan Univeristy·中国·OpenReview

LeanComb: A Combinatorial Identities Benchmark for Automated Theorem Proving

ICLR 2026Withdrawn

合作者 (5)