Miscellaneous Projects

Miscellaneous projects I've worked on.

Combinatorial BMM via Graph Decomposition [report]
Incentive Compatible AMMs in Binary Prediction Markets [report] [poster]
Miscellaneous Quantum Computing Projects
Applying GPT-3 and Dense Embeddings to NLProofS [report] [poster]
High School Astrophysics Research [paper]