TY - RPRT TI - Symbolic Informalization: Fluent, Productive, Multilingual AU - Aarne Ranta PY - 2026 UR - https://arxiv.org/abs/2606.16893 ID - 2606.16893 ER -