@misc{indiciae46437a6728ed,
  title = {PBT-Bench: Benchmarking AI Agents on Property-Based Testing},
  author = {Lucas Jing and Xinqi Wang and Liao Zhang and Simon S. Du},
  year = {2026},
  url = {https://arxiv.org/abs/2605.15229},
  note = {Source identifier: 2605.15229}
}