constraint satisfaction 1generate-verify-repair 1neuro-symbolic 1symbolic music generation 1twelve-tone composition 1
From the 1 of 2 linked papers with an AI index.
2 papers
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…
cs.SD2026
Musical Score Understanding Benchmark: Evaluating Large Language Models' Comprehension of Complete Musical Scores
Congren Dai, Yue Yang, Krinos Li +12
Understanding complete musical scores entails integrated reasoning over pitch, rhythm, harmony, and large-scale structure, yet the ability of Large Language Models and Vision--Lang…