Meeting #2310
Updated by Evgeniy Pavlovskiy over 5 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 17:05- *Omid Razizadeh* Coursework: Detecting Alzheimer's disease using different machine learning approaches
17:21-17: *Munjaradzi Njera* Coursework: Quantum Computing and Artificial Intelligence
-Klim Markelov Master thesis-
*Roman Kozinets* Roman Kozinets Master thesis (imaging)
Anton Dorozhko Reinforcement Learning for long-term reward optimization in recommender systems (Master thesis)
Munjaradzi Njera Coursework:
Artem Sergeev Paper: Speech Commands: A Dataset for Limited-Vocabulary Speech Recognition
Artem Sergeev Master Thesis
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 17:05- *Omid Razizadeh* Coursework: Detecting Alzheimer's disease using different machine learning approaches
17:21-17: *Munjaradzi Njera* Coursework: Quantum Computing and Artificial Intelligence
-Klim Markelov Master thesis-
*Roman Kozinets* Roman Kozinets Master thesis (imaging)
Anton Dorozhko Reinforcement Learning for long-term reward optimization in recommender systems (Master thesis)
Munjaradzi Njera Coursework:
Artem Sergeev Paper: Speech Commands: A Dataset for Limited-Vocabulary Speech Recognition
Artem Sergeev Master Thesis