Holden Lee
Publication Activity (10 Years)
Years Active: 2014-2024
Publications (10 Years): 53
Publications (10 Years): 53
Publications
- Li Du, Holden Lee, Jason Eisner, Ryan Cotterell
- Evan Camrud, Ewan Davies, Alex Karduna, Holden Lee
- Holden Lee, Zeyu Shen
- Sinho Chewi, Patrik Gerber, Holden Lee, Chen Lu
- Holden Lee
- Sitan Chen, Sinho Chewi, Holden Lee, Yuanzhi Li, Jianfeng Lu, Adil Salim
- Tyler Helmuth, Holden Lee, Will Perkins, Mohan Ravichandran, Qiang Wu
- Sitan Chen, Sinho Chewi, Holden Lee, Yuanzhi Li, Jianfeng Lu, Adil Salim
- Sinho Chewi, Patrik Gerber, Holden Lee, Chen Lu
- Rong Ge, Holden Lee, Jianfeng Lu, Andrej Risteski
- Udaya Ghai, Holden Lee, Karan Singh, Cyril Zhang, Yi Zhang
- Udaya Ghai, Holden Lee, Karan Singh, Cyril Zhang, Yi Zhang
- Holden Lee, Cyril Zhang
- Rong Ge, Holden Lee, Jianfeng Lu, Andrej Risteski
- Holden Lee, Cyril Zhang
- Holden Lee, Oren Mangoubi, Nisheeth K. Vishnoi
- Holden Lee, Oren Mangoubi, Nisheeth K. Vishnoi
- Elad Hazan, Holden Lee, Karan Singh, Cyril Zhang, Yi Zhang
- Elad Hazan, Holden Lee, Karan Singh, Cyril Zhang, Yi Zhang
- Holden Lee, Rong Ge, Andrej Risteski, Tengyu Ma, Sanjeev Arora
- Holden Lee, Rong Ge, Tengyu Ma, Andrej Risteski, Sanjeev Arora
- Holden Lee
- Holden LeeVector Spaces. Arch. Formal Proofs 2014 (2014)