Names are not just Sound and Smoke: Word Embeddings for Axiom Selection
Ulrich Furbach, Teresa Krämer and Claudia SchonSLIDES
Total: 32 presentations.
|
CADE-27: 27TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION
SLIDES
Total: 32 presentations. |
|