JIayu Wang

Researcher, Shanghai Artificial Intelligence Laboratory

Joined

May 2024

Names

JIayu Wang (Preferred)

Emails

****@pjlab.org.cn (Confirmed)

Personal Links

Career & Education History

Researcher

Shanghai Artificial Intelligence Laboratory (pjlab.org.cn)

2023 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

Lean Workbook: A large-scale Lean problem set formalized from natural language math problems
Huaiyuan Ying, Zijian Wu, Yihan Geng, JIayu Wang, Dahua Lin, Kai Chen
- NeurIPS 2024 Track Datasets and Benchmarks Poster
- Readers: Everyone

Co-Authors