OpenReview.net
  • Login

Yang Li

  • Joined May 2025

Names

Yang Li (Preferred)
  • Suggest Name

Emails

****@tencent.com (Confirmed)
  • Suggest Email

Personal Links

Google Scholar
  • Suggest URL

Career & Education History

Researcher
TEG, Tencent TEG (tencent.com)
2015 – 2025
 
  • Suggest Position

Advisors, Relations & Conflicts

Coworker
Zhenwen Liang
2015 – 2025
 
  • Suggest Relation

Expertise

deep learning, LLM, complex system
2015 – 2025
 
  • Suggest Expertise

Publications

  • Decoupling Reasoning from Proving: A New Framework for Tackling Olympiad-Level Mathematics

    Zhenwen Liang, Linfeng Song, Yang Li, TAO YANG, feng zhang, Haitao Mi, Dong Yu
    • MATH-AI 2025 Poster
    • Readers: Everyone
  • MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation

    Zhenwen Liang, Linfeng Song, Yang Li, TAO YANG, Haitao Mi, Dong Yu
    • NeurIPS 2025 poster
    • Readers: Everyone
  • HUNYUANPROVER: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving

    Yang Li, Dong Du, Linfeng Song, Chen Li, Weikang Wang, Tao Yang, Haitao Mi
    • CoRR 2024
    • Readers: Everyone
  • Event Detection without Triggers

    Shulin Liu, Yang Li, Feng Zhang, Tao Yang, Xinpeng Zhou
    • 2019 (modified: 13 May 2025)
    • NAACL-HLT (1) 2019
    • Readers: Everyone

Co-Authors

  • Chen Li
  • Dong Du
  • Dong Yu
  • Feng Zhang
  • Haitao Mi
  • Linfeng Song
  • Shulin Liu
  • TAO YANG
  • Tao Yang
  • Weikang Wang
  • Xinpeng Zhou
  • Zhenwen Liang
  • feng zhang
  • About OpenReview
  • Hosting a Venue
  • All Venues
  • Contact
  • Sponsors
  • Donate
  • FAQ
  • Terms of Use / Privacy Policy
  • News
  • About OpenReview
  • Hosting a Venue
  • All Venues
  • Sponsors
  • News
  • FAQ
  • Contact
  • Donate
  • Terms of Use
  • Privacy Policy

OpenReview is a long-term project to advance science through improved peer review with legal nonprofit status. We gratefully acknowledge the support of the OpenReview Sponsors. © 2026 OpenReview