29 citations · 56 across the 9 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2021
Disambiguating Symbolic Expressions in Informal Documents
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…
cs.LG2021★ 4 cited
A Study of Continuous Vector Representationsfor Theorem Proving
Stanisław Purgał, Julian Parsert, Cezary Kaliszyk
Applying machine learning to mathematical terms and formulas requires a suitable representation of formulas that is adequate for AI methods. In this paper, we develop an encoding t…