1 paper
Nicolas Sibuet, Horacio Saggion, Riccardo Rossi
The automatic translation of mathematical expressions in scientific literature into executable symbolic code (a process we refer to as Formula Formalization) is hindered by a sever…