works on
constraint satisfaction 1generate-verify-repair 1neuro-symbolic 1symbolic music generation 1twelve-tone composition 1

From the 1 of 8 linked papers with an AI index.

activity
20242026
collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2026

Verifier-Guided Twelve-Tone Composition: A Generate-Verify-Repair Harness for Symbolic Music Generation

Congren Dai, Danni Zhao, Enyang Liu +7

The paper introduces a generate‑verify‑repair framework that combines large language models with symbolic verification to produce more consistent twelve‑tone music scores, reducing…