验证器引导的十二音作曲：符号音乐生成的生成-验证-修复框架

论文提出一个包裹语言模型作曲器的神经符号框架，通过生成、符号验证、修复和追踪循环，减少十二音作品中的局部冲突与退化纹理。在40项受控任务和4组模型中，约束检查后的交付率由13.3%升至48.1%，但系统对其余51.9%运行选择弃答，作者并未声称整首作品始终合法。