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

Ulrich Furbach, Teresa Krmer, Claudia Schon

Browse the full CADE paper archive.