51 citations · 51 across the 2 of their papers we have counts for
1 paper · 1 filter
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…