Yiannos Stathopoulos

According to our database, Yiannos Stathopoulos authored at least 4 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Formalization Quality in Isabelle.

Fabian Huch, Yiannos Stathopoulos

Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023

2018

Variable Typing: Assigning Meaning to Variables in Mathematical Text.

Yiannos Stathopoulos, Simon Baker, Marek Rei, Simone Teufel

Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2018

2016

Mathematical Information Retrieval based on Type Embeddings and Query Expansion.

Yiannos Stathopoulos, Simone Teufel

Proceedings of the COLING 2016, 2016

2015

Retrieval of Research-level Mathematical Information Needs: A Test Collection and Technical Terminology Experiment.

Yiannos Stathopoulos, Simone Teufel

Proceedings of the 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing of the Asian Federation of Natural Language Processing, 2015