cs.AI, cs.SE

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

arXiv:2605.15229v1 Announce Type: cross
Abstract: 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 the distinct skill…