I have recently been working on formalizing SNARKS using the Lean mathlib.
During Summer and Fall of 2020 my collaborator Surya and I worked on a network-efficient accumulator for Bitcoin. Our work was accepted at WTSC '21.
During fall of 2019, I took Prof. David Forsyth's course on
autonomous vehicles. Part of my project for the class was a lidar-based particle filter for
tracking the location of a Gem e2 autonomous car. I made a GIF of it which you can see below.
During summer of 2019, I was a visit the Simons
Institute. I presented in the Robustness reading group on poisoning. I also worked on some problems, but I was not able to solve them.
In 2019, I received a NSF Graduate Research Fellowship.
A Gradual, Semi-Discrete Approach to Generative Network Training via Explicit Wasserstein
Minimization (With Yucheng Chen, Matus Telgarsky, Chao Zhang, Daniel Hsu, Jian Peng)
Size-Noise Tradeoffs in Generative Networks (With Matus Telgarsky) NeurIPS 2018 Spotlight.
The power of shallow networks
Adversarial attacks on neural networks