Systematically generating tests that would have caught Anthropic's top‑K bug

2 points| ag8 | 4 months ago |theorem.dev