Welcome to my website

Hi!

Imagine a picture of me

My name is Bolton Bailey.

I am a fourth-year Ph.D. student at UIUC. I was previously advised by the venerable Matus Telgarsky (from whom I stole this website layout). Now I'm part of Andrew Miller's group.

I prove things and write code.

Research:

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. Imagine a picture of me

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) ICML 2019. (arxiv)

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

Other interests:

Autonomous Vehicles

The power of shallow networks

Adversarial attacks on neural networks

Teaching Assistantships:

Last updated March 2021