Shulu Li

SOTA on Terminal-Bench 2 and SWE-Bench verified with verifiers!

We release LLM-as-a-Verifier 🧠: A general-purpose verification framework that achieves SOTA 👑 on Terminal-Bench 2 (86.4%) and SWE-Bench Verified (77.8%) by scaling: - scoring granularity - repeated verification - criteria decomposition 📄 Blog & Code: llm-as-a-verifier.notion.site

I built a tool that analyzes how Claude Code actually works under the hood. Every prompt. Every tool call. Every task decision. All mapped out visually. One command to try it yourself: github.com/depetrol/claud…

🎯 AI optimizes congestion control for datacenter networking [ADRS Blog #13] We apply ADRS frameworks to improve congestion control algorithms. Using OpenEvolve, we discover an algorithm that reduces queue length by 49% on the NSDI ’22 PowerTCP 10:1 incast benchmark! 📉⚡️ ✍️ Read the Blog: adrs-ucb.notion.site/cca 📖 ADRS Blog Series: ucbskyadrs.github.io 📄 ADRS Paper: arxiv.org/abs/2510.06189 👩‍💻 Code: github.com/UCB-ADRS/ADRS