▶ Combinatorial BMM via Graph Decomposition [report]
Survey of recent breakthrough in fine-grained complexity on combinatorial boolean matrix multiplication. Final project for COS521: Advanced Algorithm Design (Graduate) with Huacheng Yu.
▶ Incentive Compatible AMMs in Binary Prediction Markets [report][poster]
Theoretical study and simulations of liquidity-sensitive market scoring rule implemented in automated market makers (COS473 final project). Won Outstanding Poster award at Princeton’s 2023 DeCenter Conference on blockchains.
▶ Applying GPT-3 and Dense Embeddings to NLProofS [report][poster]
Investigated recent natural language proof generation model through two ablation studies (COS484 final project).
Worked on research projects on stellar stream formation (with Princeton faculty and NASA Advanced Supercomputing scientists); supernova light-curve modeling (Yale Summer Program in Astrophysics); and rare star classification (UC Santa Cruz). Papers published in the Astrophysical Journal and Harvard JEI. Presentations at 233rd AAS Meeting and 2020 APS Meeting (first-author).