copydeleteadd this publication to your clipboard

• community post
• history of this post
• URL
• DOI
• BibTeX
• EndNote
• APA
• Chicago
• DIN 1505
• Harvard
• MSOffice XML

Names are not just Sound and Smoke: Word Embeddings for Axiom Selection

U. Furbach, T. Krämer, and C. Schon. CADE 27, 27st International Conference on Automated Deduction, Natal, Brasil, August 25-30, 2019 , (2019)