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

arXiv preprint, 2026

Recommended citation: Xinqi Wang*, Lucas Jing*, Liao Zhang, Simon S. Du (*equal contribution). (2026). "PBT-Bench: Benchmarking AI Agents on Property-Based Testing." arXiv:2605.15229. https://arxiv.org/abs/2605.15229

[Download paper here](https://arxiv.org/abs/2605.15229)