Symbolic Informalization: Fluent, Productive, Multilingual
arXiv:2606.16893v2 Announce Type: replace Abstract: Symbolic informalization enables a reliable conversion of formal mathematics to natural language. It has the potential to make machine-checked conte