51 citations · 52 across the 3 of their papers we have counts for
3 papers
cs.AI2026
Symbolic Informalization: Fluent, Productive, Multilingual
Aarne Ranta
Symbolic informalization enables a reliable conversion of formal mathematics to natural language. It has the potential to make machine-checked content human-readable without loss o…
cs.CL2022★ 51 cited
Urdu Morphology, Orthography and Lexicon Extraction
Muhammad Humayoun, Harald Hammarström, Aarne Ranta
Urdu is a challenging language because of, first, its Perso-Arabic script and second, its morphological system having inherent grammatical forms and vocabulary of Arabic, Persian a…
cs.CL2014★ 1 cited
Embedded Controlled Languages
Aarne Ranta
Inspired by embedded programming languages, an embedded CNL (controlled natural language) is a proper fragment of an entire natural language (its host language), but it has a parse…