Yiannos Stathopoulos

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 4

Top Topics

Query Expansion Methods

Information Retrieval

Test Collection

Patent Retrieval

Top Venues

Publications

Fabian Huch, Yiannos Stathopoulos
Formalization Quality in Isabelle. CICM (2023)
Yiannos Stathopoulos, Simon Baker, Marek Rei, Simone Teufel
Variable Typing: Assigning Meaning to Variables in Mathematical Text. NAACL-HLT (2018)
Yiannos Stathopoulos, Simone Teufel
Mathematical Information Retrieval based on Type Embeddings and Query Expansion. COLING (2016)
Yiannos Stathopoulos, Simone Teufel
Retrieval of Research-level Mathematical Information Needs: A Test Collection and Technical Terminology Experiment. ACL (2) (2015)