Selected systems
Repositories organized around evidence, not screenshots.
The strongest projects expose the full path from setup to artifact: commands, benchmark inputs,
result files, known boundaries, and the exact claim each run supports.
Upstream model-system fixes
Merged fixes across CARLA, FlashAttention, scikit-learn, Triton, Ray, PyTorch TorchTitan, Apache DataFusion, Apache TVM, Microsoft ONNX Runtime, and xgrammar,
focused on runtime correctness, distributed autoscaling metrics, LoRA fine-tuning behavior,
spill execution configuration, CuTe/SM120 compile handling, benchmarking reliability, Array API/DLPack interop safety, ONNX frontend behavior, CUDA/FMHA initialization, structured-generation parser edge cases, and high-signal
upstream bug reports including AI tooling security/correctness boundaries.
l20-edu-135m-pretrain
From-scratch 135M Transformer pretraining on 10B FineWeb-Edu tokens using one NVIDIA L20,
with a public checkpoint, lm-eval comparisons, and reproducible training notes.
- Proof
- Public checkpoint, lm-eval runs, single-GPU training recipe
- Axis
- Pretraining, scaling discipline, reproducibility
Single-GPU LLM systems | kernels and serving
Repository
Single-GPU Inference Lab
Single-L20 reference stack with Triton RMSNorm, fused residual paths, RoPE + KV-cache write
kernels, measured dispatch policies, and handwritten NF4 QLoRA smoke runs.
- Proof
- L20 benchmark reports, CUDA telemetry, Qwen2.5-Coder 0.5B and 14B smoke runs
- Axis
- GPU kernels, serving/training constraints, single-card systems evidence
Post-training | verifier-guided inference
Repository
L20-CodeForge
Single-L20 post-training and verifier-guided inference stack for executable code benchmarks,
with reproduction scripts, artifact hashes, and explicit claim boundaries.
- Proof
- Reproduction scripts and benchmark artifacts
- Axis
- Code generation, RLVR, executable validation
nl2sql-benchmark
Text-to-SQL fine-tuning and multi-path inference with Qwen2.5-Coder-7B.
- Proof
- Spider/BIRD-style evaluation, cost curves, export paths
goemotions-roberta-large-focal
RoBERTa-large emotion classifier with focal loss, tuned thresholds, and test macro-F1 0.5330.
- Proof
- Reported test macro-F1, threshold tuning, reproducible evaluation path
finmteb-zh-reranker-sota
Chinese finance reranking snapshot with Qwen3-Reranker-8B and public comparison context.
- Proof
- Reported MAP run, CI checks, leaderboard snapshot
signal-rag
Search and retrieval workbench with query planning, source-trust tiers, and citation checks.
- Proof
- Recall evaluation, extractive fallback, benchmark examples
scitrace-rl
Trace, validation, and reward infrastructure for scientific agents.
- Proof
- Adversarial cases, semantic judge, deterministic validators
coreb-retrieval-sota
CoREB retrieval benchmark snapshot with CI-backed artifacts and result provenance.