arxiv-2307.04346-llm-pbt.md

Can LLMs write good property-based tests?