Divvy

swMATH14433MaRDI QIDQ26334FDOQ26334

Author name not available (Why is that?)

Official website: http://jmlr.org/papers/volume14/lewis13a/lewis13a.pdf

Cited In (1)

• Names are not just sound and smoke: word embeddings for axiom selection

This page was built for software: Divvy