Agentic Property-Based Testing: Finding Bugs Across the Python Ecosystem. - Muhammad Maaz; Liam DeVoe; Zac Hatfield-Dodds; Nicholas Carlini (CoRR, 2025)