PBT-Bench: Benchmarking AI Agents on Property-Based Testing. - Lucas Jing; Xinqi Wang; Liao Zhang; Simon S. Du (CoRR, 2026)