精读笔记
Problem Setting
这篇论文的实际问题是：Gregorian chant OMR 已经进入 end-to-end image-to-sequence 阶段，但可用数据被不同 transcription encoding 切成孤岛，导致模型无法共享监督、结果不可直接比较、数据规模无法累积。真正困难不在于 Gregorian notation 本身特别复杂；相反，作者反复强调 staff notation 的结构相对稳定，困难在于“视觉上兼容、标签上不兼容”。以前方法卡在两个层面：传统 pipeline 依赖 staff/symbol/neume 级分割和人工交互，难以规模化；近期 end-to-end AMNLT 虽然绕开了显式分割，但仍在每个 encoding/dataset 上独立建模，等于把同一底层音乐对象映射成多个不一致 target language。关键矛盾是：领域内数据极其稀缺且分散，而模型需要跨 manuscript/style 学到稳定的 melody-text-alignment 表示；如果标签空间不统一，更多数据反而不能直接变成更好的监督。
Motivation
已有路线不够的原因不是架构不够强，而是监督信号没有对齐。四个数据集都描述 diastematic Gregorian staff notation，但 GABC、S-GABC、Pseudo-GABC 对音高位置、绝对音高、neume modifier、歌词/音乐分界、格式符号的处理不同；这会让模型把 encoding artifact 当成任务差异学习。作者的核心观察很直接：这些数据在视觉和音乐学层面属于足够相容的对象，因此应该存在一个共同的中间表示，使它们可以被联合训练。关键缺口是 canonical target representation，而不是新的视觉 backbone。换句话说，本文的动机是把 Gregorian OMR 从 dataset-specific transcription problem 推向 representation-aligned multi-domain recognition problem。
Core Idea
核心思想是先统一输出语言，再训练共享 recognizer。作者基于 S-GABC 设计 common encoding，将 GABC、S-GABC、Pseudo-GABC 映射到同一 GABC-derived 表示，保留 melody、text、alignment、neume grouping 等对识别任务关键的信息，同时去掉跨数据集不可恢复或主要属于排版/格式层面的差异。这个动作改变了建模方式：模型不再学习四套不同的 string conventions，而是学习多个视觉域到同一音乐-文本结构的投影。
直觉上它有效，是因为 Gregorian notation 的 domain shift 主要在视觉外观和局部书写习惯，而不是底层 staff-position / clef / neume-to-syllable 结构。如果输出表示被规范化，跨域样本之间就能共享统计强度：合成数据提供大量 melody/text sequence prior，真实 manuscript 提供视觉形态变化，小数据集通过共享目标空间借用其他数据集的监督。与 prior 的本质区别不在 DAN，而在于 prior 比较的是模型对孤立数据集的拟合能力，本文把任务重构为多域共享标签空间下的 foundation-style pretraining/fine-tuning。
Method
方法上最关键的不是具体 grammar 或训练超参，而是几个机制性选择。
第一，common encoding 解决 target-space fragmentation。它把不同来源的 transcription 解析为结构树，再转换到共享输出格式，核心变化是让跨数据集 token 的语义一致；这一步是后续所有 pooling 的必要条件。
第二，duplicate cleaning 解决评估污染，尤其是 GregoSynth。因为 GregoSynth 从 ground truth 合成图像，近似相同字符串会产生近似像素级重复，一旦跨 train/test split 泄漏，模型可能通过 memorization 获得虚高结果。作者用 string Levenshtein 加 SSIM 定义重复，比只看标签更合理。
第三，shared training 解决数据稀缺与视觉域分散。作者下采样 GregoSynth，避免 synthetic domain 淹没真实样本，同时保留其旋律覆盖。这相当于把 synthetic data 用作 broad prior，而不是让它主导视觉建模。
第四，fine-tuning 解决 domain-specific adaptation。共享模型学到跨数据集的 notation-level invariant 后，再在 Salzinnes、Einsiedeln、Solesmes 上微调，承担 manuscript/style 局部适配。
第五，gradient accumulation 解决 batch size=1 的优化病态。这里虽然是训练细节，但结果显示它影响很大，因此不能简单视为无关 engineering。
Key Insight / Why It Works
最重要 insight 是：在这类历史音乐 OMR 中，标签空间对齐可能比模型架构创新更值钱。本文有效的根因很可能是 representation alignment + data coverage，而不是 DAN 本身。统一 encoding 让不同数据集的监督信号可叠加，模型才能把 square/rhombic/thick-line/subtle-graphic 等视觉变化压到同一个 latent notation space。
最可能的核心贡献是 common encoding 和转换流程，因为它改变了数据可组合性。shared model 的收益来自共享统计结构：clef-conditioned staff position、neume grouping、lyrics-to-melody alignment 这些规律跨数据集复用，而不是每个数据集重新学习。fine-tuning 的收益则说明共享模型不是完全 domain-invariant，它仍需要 manuscript-specific adaptation。
但必须直接说：DAN(8) 的大幅提升让增益归因变得不清。8-fold gradient accumulation 后的 shared model 明显更强，这可能主要来自更稳定的优化 / effective batch scaling，而不是“foundational model”能力本身。作者也承认完整比较应训练同样 gradient accumulation 的 DAN baseline。没有这个 ablation，不能断言主要增益来自跨数据集共享。
duplicate cleaning 也很关键，尤其对 GregoSynth。合成数据由标签渲染而来，近重复跨 split 会导致 implicit memorization；本文清理这一点是必要的，但也意味着和 prior best 的比较不是完全 apples-to-apples。benchmark leakage 风险被缓解，但清理、编码变化和训练变化混在一起后，实验更像系统性改造，而不是单一方法验证。
总体判断：这篇论文的能力不是 reasoning、planning、retrieval 或 test-time compute；它本质是 representation alignment + multi-domain scaling。所谓 foundational 更准确地说是“一个更可复用的 shared recognizer seed”，不是已经证明具有开放域 Gregorian notation 泛化能力的 foundation model。
Relation To Prior Work
最接近的是 AMNLT work：同样使用 staff-level image-to-sequence、同样四个数据集、同样 melody/text/alignment error metrics。本文不是在 AMNLT 上提出新 task，而是在其数据与评估框架上修复 target representation fragmentation，并用共享训练证明 pooling 的收益。
与传统 Gamera/Rodan/OMMR4All pipeline 的差异是端到端范式：不再显式拆 staff detection、symbol detection、notation assembly，而是直接从 staff image 到 combined transcription。但这不是本文的新意；这个方向在 prior end-to-end OMR 中已经成立。
与 Sheet Music Transformer、DAN 等 OMR architecture work 的差异也很明显：本文没有提出新的视觉序列模型，DAN 只是选择了一个训练速度和性能较好的 recognizer。看似新的“foundational model”更多是数据组织方式的新，而非 architecture 新。
实质创新在两个地方：一是把 S-GABC 推向可操作的跨数据集 common encoding，补上 GABC / S-GABC / Pseudo-GABC 的可转换层；二是证明对于同一 notation family，跨数据集共享训练加微调能带来稳定收益。这更接近 white mensural notation 中 universal OMR / notation-type pooling 的技术谱系，而不是通用 foundation model 谱系。
Dataset / Evaluation
评估覆盖了四个数据集：一个大规模 synthetic GregoSynth，三个真实 manuscript/edition 来源的小数据集。这个设置能验证跨数据集 pooling 是否有用，但还不能充分验证开放世界泛化。真实数据集规模很小，Solesmes 又最小且最diverse，因此其结果对 claim 很敏感。
评价指标覆盖 melody、lyrics、syllable、alignment 和 combined errors，比单纯 CER 更贴近 chant OMR 的实际需求。作者也区分了检索/cataloguing 场景更关心 CER/MER，人工工作流更关心 AMLER，这一点合理。
不过 benchmark 对核心 claim 的支持是有限但有价值的。它支持“在这四个已知数据集上，共同 encoding + shared training/fine-tuning 有收益”；它不充分支持“已经形成 foundational model”。原因是没有 unseen manuscript/domain 的 held-out evaluation，也没有严格 ablation 分离 encoding harmonization、cleaning、downsampling、gradient accumulation、fine-tuning 各自贡献。
与 prior best 的比较也不是完全直接，因为标签编码被改变、部分样本被清理、训练策略不同。论文承认这一点。结果可以作为强工程证据，但不能作为干净的因果证据。
Limitation
方法成立依赖一个强前提：这些数据集的视觉符号系统可以被无损或近似无损地映射到同一个 GABC-derived encoding。只要遇到更早期、更地域化、更多 paleographic nuance、或者 common encoding 未覆盖的 notation practice，这个前提就可能失效。
第二个限制是 scalability 上限从模型转移到了 encoding engineering。本文看似在做 foundation model，实际上先要手工设计 grammar、reverse-engineer undocumented Pseudo-GABC、处理 malformed strings、决定哪些符号保留/丢弃。扩展到更多 manuscript tradition 时，瓶颈可能不是训练，而是符号学和数据规范化。
第三，泛化是否真实存在仍未充分证明。跨已知数据集的 shared training 不等于对新 manuscript 的泛化；尤其 GregoSynth 可能提供的是 sequence prior 而不是真实视觉 prior。核心能力可能主要来自数据覆盖，而非模型学到了抽象 notation grammar。
第四，增益归因不清。DAN(8) 大幅提升说明 optimization/scaling 是主要变量之一；如果 DAN-baseline 也使用相同 gradient accumulation、清洗后的数据和 common encoding，差距可能缩小。文中未充分说明这些因素的独立贡献。
第五，统一编码可能牺牲细粒度音乐学/古文字学信息。作者为了可合并性去掉 lyric formatting、uncertain readings 等，某些信息对 OMR benchmark 不重要，但对 manuscript studies 可能重要。这是把任务目标收窄后得到的可扩展性。
Takeaway
- 第一，历史文献/音乐 OMR 里，跨数据集 label canonicalization 往往是比换模型更高杠杆的工作；没有统一输出空间，所谓多域学习基本无从谈起。
- 第二，foundation-style model 在小众符号系统中更可能从 representation engineering 开始，而不是从海量无监督预训练开始。
- 本文推动的是 Gregorian OMR 的数据基础设施，而不是纯模型能力边界。
- 第三，synthetic data 应被当作 coverage prior 使用，而不是直接主导训练；下采样 GregoSynth 的选择说明作者知道 synthetic domain 容易压过真实视觉域。
一句话总结
这篇论文在 Gregorian chant OMR 方向上的真正贡献，是把分裂的编码体系对齐成可合并监督空间，并证明 representation alignment 加多域数据训练比继续孤立比较模型架构更能推进该领域。