Meeting #2310
Updated by Evgeniy Pavlovskiy over 6 years ago
Munjaradzi Njera Master thesis 16:31-16:47 *Ravi Kumar* Course work 16:49- *Andrey Marinov* Andrey Marinov Selsam, D., Lamm, M., Bünz, B., Liang, P., de Moura, L., & Dill, D. L. (2018). Learning a SAT solver from single-bit supervision. arXiv preprint arXiv:1802.03685. Ravi Kumar Course work Klim Markelov Master thesis Roman Kozinets Master thesis (imaging) Anton Dorozhko Reinforcement Learning for long-term reward optimization in recommender systems (Master thesis) Omid Razizadeh Coursework: Detecting Alzheimer's disease using different machine learning approaches Artem Sergeev Paper: Speech Commands: A Dataset for Limited-Vocabulary Speech Recognition Artem Sergeev Master Thesis