"Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection."

Ulrich Furbach, Teresa Krämer, Claudia Schon (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics