影响力指数

16.56/100

前 50%

全站排名 #32,216

发表论文3 篇

平均评分5.0

年均产出1.5 篇/年

Zhengfeng Yang

Full Professor@East China Normal University·中国·OpenReview

研究方向

machine learning · formal methods · symbolic computation

LeanComb: A Combinatorial Identities Benchmark for Automated Theorem Proving

ICLR 2026Withdrawn

CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics

ICLR 2026Desk Rejected

Open-Book Neural Algorithmic Reasoning

NeurIPS 2024Poster

合作者 (20)

博士导师2 篇