Twitxy Saved

Mark Müller

Verified account This account is verified. Learn more

@mnmueller

Co-founder and CTO at LogicStar.ai. Working on monitoring and self-improvement for Software Factories. ML PhD from @the_sri_lab at @ETHZ
Zurich logicstar.ai Joined January 2021
64 Following 89 Followers 70 Posts

Latest posts 5

Mark Müller Verified account @mnmueller
New paper: Frontier Coding Agents Find Different Bugs Than Maintainers Fix

In proactive bug finding, agents report fewer than 20% of the bugs humans fixed. But they report a lot of other bugs, most of which are valid. This points towards an important distributional mismatch.
9 replies 3 reposts 35 likes 6.3K views View on X
Mark Müller Verified account @mnmueller
1/10
Went through Anthropic’s S-1. Two things stand out:

The unit economics look like normal software, at least for now
Over 90% of their own code is written by Claude, and the risk factors read like a list of what goes wrong at that scale 🧵
Mark Müller Verified account @mnmueller
New benchmark publication with @logic_star_ai and @the_sri_lab:

Frontier coding agents struggle to generate strong test suites.
Frontier agents can write entire software codebases from scratch. How about test-suite generation?

We show that agent-generated tests struggle to catch bugs.

"TestSuiteBench: Coding Agents Struggle to Generate Strong Test Suites from Specifications"

testsuitebench.com
View quoted post on X