PBT-Bench: Benchmarking AI Agents on Property-Based Testing

Lucas Jing, Xinqi Wang, Liao Zhang +1

Existing code benchmarks measure whether an agent can produce any test that reproduces a known bug, or whether it can produce a patch that fixes a described issue. Neither isolates…