Meeting #2310
Updated by Evgeniy Pavlovskiy over 6 years ago
16:31-16:47 *Ravi Kumar* Course work 16:49-17:04 *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. 17:05-17:19 *Omid Razizadeh* Coursework: Detecting Alzheimer's disease using different machine learning approaches 17:21-17:40 *Munjaradzi Njera* Coursework: Quantum Computing and Artificial Intelligence -Klim Markelov Master thesis- 17:40-17:59 17:40-17: *Roman Kozinets* Encephalogram of CNN (Master thesis) 18:00-18:10 *Anton Dorozhko* Reinforcement Learning for long-term reward optimization in recommender systems (Master thesis) Artem Sergeev Paper: Speech Commands: A Dataset for Limited-Vocabulary Speech Recognition Artem Sergeev Master Thesis