Skip to content
View hayden1126's full-sized avatar

Highlights

  • Pro

Block or report hayden1126

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
hayden1126/README.md
Hayden Leung: CS @ Columbia '28, AI/ML founder, researcher

Computer Science (+ Biomedical Engineering & Linguistics) at Columbia · New York

I build grounded AI systems and do ML research in computational biology.

Building

  • Capella (founding member): stealth startup.
  • ResearcherX (co-founder): an AI word processor that maps a document's claims and sources into a live knowledge graph and flags contradictions as you write. Top-6 at the Millard Chan '99 Challenge; 2nd at Lion's Cage.

Research

  • MINA (co-author): frozen DNA language models encode protein composition, not gene function. Oral at iscbAI 2026; recommended to Quantitative Biology (Wiley).
  • IEEE IRI 2023: the first k-core visualization of all of Wikipedia, plus a link-graph method for auto-building learning paths. Co-led the five-person team and presented the paper.

Open-source tooling

  • DocAgent (docagent-ai on PyPI): generates a repository's entire documentation set, with every statement grounded in the actual source.
  • sourced: writes papers with verified, full-text-checked citations (no fabrications), preserves your voice, and exports to Word, Google Docs, Markdown, or LaTeX in 5 citation styles.

Recently active

Recently pushed public repos, refreshed daily from the GitHub API.

  • dotclaude · Python · Portable snapshot of my Claude Code setup: settings, hooks, statusline, custom agents, plugin manifest, and sync script. · 2026-08-18
  • apocalypto · Python · Offline navigation for disaster and civil-unrest zones (no internet, degraded GPS). Research phase. · 2026-08-08
  • PaperRec · TeX · Personalized-PageRank recommender for academic papers: seed one paper, it builds the citation ego-network (via Semantic Scholar) and ranks the most structurally relevant reads. Columbia MATH UN2015. · 2026-04-26
  • bbs · C · Solver for Block Blast written in C · 2026-04-26
  • wordle-solver · Julia · Wordle Solver is a CLI-based program that assists solving the Wordle game. · 2026-04-17

Teaching

  • TA, ENGI 1006: Columbia's largest intro CS course (~220 students).

Elsewhere

LinkedIn · Email

The "Recently active" list refreshes daily from the GitHub API via a GitHub Action. No third-party widgets; every asset is generated and committed in this repo.

Pinned Loading

  1. dotclaude dotclaude Public

    Portable snapshot of my Claude Code setup: settings, hooks, statusline, custom agents, plugin manifest, and sync script.

    Python 1 1

  2. sourced sourced Public

    Claude Code framework for academic writing: verified full-text citations, scope-faithful paraphrase, and voice preservation, enforced by a mode-gated agent workflow

    Python 1

  3. harrow-turing-2022/wisteria-vis harrow-turing-2022/wisteria-vis Public

    Julia toolkit for manipulating, k-core-decomposing, and visualising large directed graphs (originally built for the Wikipedia link graph).

    Julia 1

  4. wordle-solver wordle-solver Public

    Wordle Solver is a CLI-based program that assists solving the Wordle game.

    Julia 5 1

  5. PaperRec-submission PaperRec-submission Public

    Personalized PageRank for academic paper recommendation. MATH UN2015 final project, Columbia University.

    TeX

  6. DocAgent DocAgent Public

    A repository documentation agent for humans and coding agents. Reads existing repos, writes README + AGENTS.md + CLAUDE.md + llms.txt + docs with grounded citations, verified by a deterministic-fir…

    Python