(1/7) Agentic Formal Verification on vLLM 🚀

This week, we introduced vstack for agentic formal verification in AI infra; today, we're working with @vllm_project , putting vstack to test: although vLLM is already very mature, some bugs only surface in rare combinations that are hard for human reviewers to catch.

With vstack's agentic formal verification, we identified 17 (and growing!) bugs, from silent wrong output to server lockout. Below we share 5 of them, each with a fix PR ⬇️

🔌 vstack plugin: github.com/hao-ai-lab/vstack
📋 Bugs Tracker: docs.google.com/spreadsheets/…