Chenyi Li

Identifiers

• name variant Chenyi Li 0.60 · backfill

Papers (3)

1. CAM-Bench: A Benchmark for Computational and Applied Mathematics in Lean cs.AI · 2026 · author #3
2. Teacher-Feature Drifting: One-Step Diffusion Distillation with Pretrained Diffusion Representations cs.CV · 2026 · author #2
3. OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving cs.LG · 2026 · author #1

Mentions

• 2605.17255 #3 · arxiv_oai · confidence 0.70 Chenyi Li

Frequent Coauthors

• Zaiwen Wen 2 shared papers
• Bo Wang 1 shared papers
• Chumin Sun 1 shared papers
• Gong Zhang 1 shared papers
• Guoqing Ma 1 shared papers
• Haoyang Huang 1 shared papers
• Jiajun Zha 1 shared papers
• Kun Yuan 1 shared papers
• Li Zhou 1 shared papers
• Nan Duan 1 shared papers
• Wei Tang 1 shared papers
• Wenbo Li 1 shared papers
• Wentao Long 1 shared papers
• Yanchen Nie 1 shared papers
• Yuanming Yang 1 shared papers
• Yuan Zhang 1 shared papers
• Yunfei Zhang 1 shared papers
• Zhenyu Ming 1 shared papers