Sparse Attention Hub

Research with the Sky Computing Lab, including “Inference Time Context Sparsity: Illusion or Opportunity?” (NeurIPS ’26).

Agentic Codebase Security

Before security was so popular, we worked on an agentic codebase security tool.

proto-harness

Fast, verified coding-agent harness.

Datacenter Source

Sourced US data-center intelligence map.

MathSpeech

Speech recognition for mathematical notation.

Terminal Test

A playground and testing environment for terminal interfaces.