Miscellaneous Projects

Here's a list of some miscellaneous projects I've worked on.

1. Combinatorial BMM [paper]
2. Incentive Compatible AMMs in Binary Prediction Markets [paper] [poster]
3. Spectral Graph Theory (Directed Reading Program)
4. Miscellaneous Quantum Computing Projects
5. Applying GPT-3 and Dense Embeddings to NLProofS [paper] [poster]
6. High School Astrophysics Research