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* Detecting Alzheimer's disease using different machine learning approaches (Coursework) 17:21-17:40 *Munjaradzi Njera* Quantum Computing and Artificial Intelligence (coursework) -Klim Markelov Master thesis- 17:40-17:59 *Roman Kozinets* Encephalogram of CNN (coursework) 18:00-18:22 18:00-18:10 *Anton Dorozhko* Reinforcement Learning for long-term reward optimization in recommender systems (Master thesis) 18:22-18: *Artem Sergeev* Seismic Activity by Machine Learning (Master Thesis) *Artem Sergeev* Artem Sergeev Paper: Speech Commands: A Dataset for Limited-Vocabulary Speech Recognition Artem Sergeev Master Thesis