no code implementations • NAACL 2018 • Yiannos Stathopoulos, Simon Baker, Marek Rei, Simone Teufel
Our results show that the best performing MIR models make use of our typed index, compared to a formula index only containing raw symbols, thereby demonstrating the usefulness of variable typing.
no code implementations • COLING 2016 • Yiannos Stathopoulos, Simone Teufel
We present an approach to mathematical information retrieval (MIR) that exploits a special kind of technical terminology, referred to as a mathematical type.