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)

  • @cschon
This publication has not been reviewed yet.

rating distribution
average user rating0.0 out of 5.0 based on 0 reviews
    Please log in to take part in the discussion (add own reviews or comments).