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)

Links and resources

BibTeX key:
search on:

Comments and Reviews  

There is no review or comment yet. You can write one!


Cite this publication