TY  - RPRT
TI  - PBT-Bench: Benchmarking AI Agents on Property-Based Testing
AU  - Lucas Jing
AU  - Xinqi Wang
AU  - Liao Zhang
AU  - Simon S. Du
PY  - 2026
UR  - https://arxiv.org/abs/2605.15229
ID  - 2605.15229
ER  -