20 citations · 34 across the 9 of their papers we have counts for
1 paper · 1 filter
Dennis Müller, Cezary Kaliszyk
We propose the task of disambiguating symbolic expressions in informal STEM documents in the form of LaTeX files - that is, determining their precise semantics and abstract syntax…