Formalizing Soundness Proofs of Linear PCP SNARKs (With Andrew Miller) USENIX 2024. (video)

Merkle Trees Optimized for Stateless Clients in Bitcoin (With Surya Sankagiri) WTSC 2021. (ePrint) (video)

A Gradual, Semi-Discrete Approach to Generative Network Training via Explicit Wasserstein Minimization (With Yucheng Chen, Matus Telgarsky, Chao Zhang, Daniel Hsu, Jian Peng) ICML 2019. (arxiv)

Size-Noise Tradeoffs in Generative Networks (With Matus Telgarsky) NeurIPS 2018 Spotlight. (arxiv) (slides) (video)

See also: My Google Scholar profile.