Research and Software Projects

• Recent Hobby/Open-Source Software Projects

  • (2026) clue-llm (live demo) - Stress-testing LLM reasoning on NP-complete logic problems. Generates SAT logic puzzles rendered detective-style as “who’s the killer?” games. Uses SymPy’s SAT solver and asks LLMs solve them. Uses single-token strings for clean confidence measurement for active sampling in fine-tuningt experiment that prioritizes confident mistakes. Inspired by Ilya Sutskever’s claim that predicting the killer in a detective novel requires “a fair amount of reasoning.”

  • (2026) grouptherenow.com(GitHub) - Carpool optimization app for teams. NextJS/TypeScript re-implementation of the original GroupThere carpool optimization app (see 2016 entry below), with a Python solver backend deployed on Modal infrastructure. Implements combinatorial optimization subroutine in the Mojo programming language; mixed-integer linear program implemented in glpk, COIN-OR cbc, and Nvidia’s cuOpt, which runs on GPU.

    The cuOpt solver’s massive GPU parallelism becomes optimal at large problem sizes, 100+ riders, see numerical experiment results

  • (2026) emoji-recsys (live demo, npm) - Semantic emoji search for React. Type a word or phrase, get the most relevant emojis back. Uses precomputed embeddings for 1,906 emojis and all-MiniLM-L6-v2 via Transformers.js for query embedding. Runs entirely in the browser.

  • (2025) cuopt-stubs - Python stubs for cuOpt LP/MILP solver. The full cuOpt can only be installed on machines that support Cuda, which excludes MacOS - these stubs support writing cuOpt programs with full type-checking support on MacOS. Stubs auto-generated via MyPy stubgen.

  • (2025) mojal - Compile & run Mojo programs on Modal. Mojo provides Python interop, so mojal deploys Mojo programs serverlessly with GPU access.

  • (2025) fzf-ts - A typescript interface to fzf via stdout and temp files. Because every selection CLI should really just be fzf.

  • (2025) linear_cli - CLI tool for managing Linear issues from the command line. Uses fzf-ts. Implementation in Go: linear-cli-go.

  • (2025) taste-lever - Simple one-pass prompt-optimization from human-annotated data.

  • (2024) arxiv_html_viewer_sanity_chrome_extension - Chrome extension to hide the unusable UI surrounding the otherwise-great HTML view in Arxiv.

  • (2024) FastRPC a thin abstraction on top of FastAPI that, along with openapi-typescript-sdk-generator, allows for a fully type-safe Typescript SDK to be generated instantly on every save during development. Call Python functions from a fully type-aware TypeScript client with no networking code.

  • (2023) Capsule (live app on Vercel) - a highly-stylized message sharing system. 100% type-aware full-stack NextJS application (via server actions).

• Graduate Research - Data Aggregation and Resource Allocation (2021) - Pandemic Mitigation Optimization (2021) - Fairness, Efficiency, and Feature-Awareness in the Allocation of Public Goods (2020)
• Graduate Coursework
  • Ecological Inference Literature Review
  • Worker Safety Management
  • Worker Safety Optimization
  • Point Cloud Classification: Literature Review and Reproduction of Point Net (2016)
  • Facility Location Problems Literature Review
• Optimizing B’nai Mitzvot Scheduling (2018 & 2019)
  • Documentation
  • Source code 2018 (for 2021 B’nai Mitzvot)
  • Source code 2019 (for 2022 B’nai Mitzvot)
  • Front End Demo (takes up to 15 seconds to load if not opened recently)
• GroupThere Carpool Optimization (2016-17) (see 2026 entry above)
  • Python/Angular Webapp Source
  • MATLAB Version Source
• Reproducing predictive policing algorithm with Los Angeles Community Action Network (2016-17)
  • MATLAB source
  • Whitepaper
• FactoryOfEverything Supply Chain Optimization (2016)
  • Documentation of Optimization Model
  • Documentation of Data Processing
  • MATLAB source
• Undergraduate Research
  • Generative Models and Sparse Coding (2014)
  • Anomaly Detection using Dictionary Learning (2013) (poster presented at Joint Mathematics Meeting 2014, awarded Outstanding Presentation Award)
  • Aquatic Insect Populations’ Response to Time-Varying Reproductive Rates (2012)
  • Zero-Sum Flows of the Linear Lattice (2012)