Meeting #2310
Updated by Evgeniy Pavlovskiy over 6 years ago
Munjaradzi Njera Master thesis
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