Search papers, labs, and topics across Lattice.
This paper introduces a neuro-symbolic framework that enhances twelve-tone music generation by integrating a generate-verify-repair loop with symbolic verification, addressing the issue of degenerate outputs from large language models. The proposed method significantly improves event-local consistency, achieving a delivery yield increase from 13.3% to 48.1% across 40 tasks, while maintaining a low degeneracy rate. Expert evaluations further confirm that the generated scores using this harness are preferred over those produced by raw generation in terms of adherence and overall quality.
A neuro-symbolic approach boosts the quality of twelve-tone music generation, elevating output consistency and expert preference significantly.
Large language models can produce superficially legal twelve-tone scores that collapse into degenerate textures. We introduce a neuro-symbolic harness that wraps a language-model proposer in a generate-verify-repair-trace loop with symbolic verification. The complete pipeline improves event-local consistency without claiming whole-piece legality. Across 40 controlled tasks and four paired models, audited delivery yield rises from 13.3% under raw generation to 48.1% with the harness, which explicitly abstains otherwise. The pass rate of a narrower collision and serialisation-consistency check rises from 33.5% to 58.3%, while degeneracy remains near 0.05, including under exploratory adversarial prompting. A blinded evaluation by five experts also shows a descriptive aggregate preference for harness candidates over raw generation in adherence, perceived legality, coherence, and overall quality.
Tsinghua AI