Retrieval of Research-level Mathematical Information Needs: A Test Collection and Technical Terminology Experiment. - Yiannos Stathopoulos; Simone Teufel (ACL (2), 2015)

Mathematical Information Retrieval based on Type Embeddings and Query Expansion. - Yiannos Stathopoulos; Simone Teufel (COLING, 2016)

Variable Typing: Assigning Meaning to Variables in Mathematical Text. - Yiannos Stathopoulos; Simon Baker; Marek Rei; Simone Teufel (NAACL-HLT, 2018)

Formalization Quality in Isabelle. - Fabian Huch; Yiannos Stathopoulos (CICM, 2023)

Can Language Models Rival Mathematics Students? Evaluating Mathematical Reasoning through Textual Manipulation and Human Experiments. - Andrii Nikolaiev; Yiannos Stathopoulos; Simone Teufel (CoRR, 2024)