View of Executable but Wrong: Verifier-Grounded Contracts and Counterexamples for LLM-Generated Music Programs

##article.return## Executable but Wrong: Verifier-Grounded Contracts and Counterexamples for LLM-Generated Music Programs Download Download PDF