Official academic portfolio of Dongzhe (Denzel) Zheng. Ph.D. Researcher at MAE, Princeton University, Gordon Y.S. Wu Fellow in Engineering, and co-founder of Conjectas, an open-problem commons for AI-assisted proofs, Lean formalization, and contribution credit.