Pinned Loading

1. affine-transport affine-transport Public

   This project applies instance-adaptive learned compression to ray tracing, fitting a compact per-frame model to a ray-traced reference for roughly 10⁴× less compute.

   Python

2. Lean-Proof-of-Exact-DNA-Alignment-Correctness Lean-Proof-of-Exact-DNA-Alignment-Correctness Public

   Lean 4 formalization proving that a recursive edit-distance traceback algorithm returns a globally optimal DNA alignment path over the edit grid.

   Lean

3. Short-Query-DNA-Screener Short-Query-DNA-Screener Public

   AIxBio Hackathon Project: A gradient-boosting classifier for fast, short-read DNA threat detection. Uses a hybrid DNA/protein k-mer approach and reverse-screening post-filters to accurately identif…

   Jupyter Notebook