arxiv-2506.18315-property-generated-solver.md

PBT for LLM code generation