TY  - RPRT
TI  - SERIAL-7: Deriving, Realizing, and Preserving Machine-Verifiable Outputs Across Representations
AU  - Youngkyung Seo
AU  - MiHyeon Kim
AU  - Jisoo Lee
AU  - Hwijung Ryu
PY  - 2026
UR  - https://arxiv.org/abs/2610.41308
ID  - 2610.41308
ER  -