Follow
Zygimantas Straznickas
Title
Cited by
Cited by
Year
Distributed negative sampling for word embeddings
S Stergiou, Z Straznickas, R Wu, K Tsioutsiouliklis
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
282017
Towards a verified first-stage bootloader in Coq
Z Straznickas
Massachusetts Institute of Technology, 2020
72020
The system can't perform the operation now. Try again later.
Articles 1–2