Mathematics & Computer Science student at Columbia focused on mathematical machine learning, geometric/data-driven modeling, and applied systems.
Currently:
- Researching Johnson-Lindenstrauss-style embedding guarantees for manifold-structured data
- Building contrastive protein-ligand representation models
Selected repositories:
mathematical-ml: PCA, numerical linear algebra, SVMs, spectral methods, kernels, and MNIST neural netsportus: scans codebases for commercial AI API usage and suggests open-source Hugging Face model replacementsthreaded: Reddit audience-research and ranking tool with Flask, PRAW, GPT, and a lightweight frontendducky: local-first CLI for auditing AI coding-tool usage during development sessionsclassic-ai-solvers: chess, Othello, Sudoku, and crossword solvers using search, backtracking, and board heuristics