Transmol: repurposing a language model for molecular generation R Zhumagambetov, F Molnár, VA Peshkov, S Fazli RSC advances 11 (42), 25921-25932, 2021 | 10 | 2021 |
Rooting formal methods within higher education curricula for computer science and software engineering—a white paper— A Cerone, M Roggenbach, J Davenport, C Denner, M Farrell, ... Formal Methods–Fun for Everybody: First International Workshop, FMFun 2019 …, 2021 | 9 | 2021 |
Teaching formal methods in academia: a systematic literature review R Zhumagambetov Formal Methods–Fun for Everybody: First International Workshop, FMFun 2019 …, 2021 | 9 | 2021 |
cheML. io: an online database of ML-generated molecules R Zhumagambetov, D Kazbek, M Shakipov, D Maksut, VA Peshkov, ... RSC advances 10 (73), 45189-45198, 2020 | 5 | 2020 |
Formal Methods-Fun for Everybody A Cerone, M Roggenbach Springer International Publishing, 2021 | 2 | 2021 |
A biologically-inspired evaluation of molecular generative machine learning. E Vinogradova, A Artykbayev, A Amanatay, M Karatayev, M Mametkulov, ... CoRR, 2022 | 1 | 2022 |
A biologically-inspired multi-modal evaluation of molecular generative machine learning E Vinogradova, A Artykbayev, A Amanatay, M Karatayev, M Mametkulov, ... arXiv preprint arXiv:2208.09658, 2022 | | 2022 |
Towards automated molecular search in drug space R Zhumagambetov Nazarbayev University School of Engineering and Digital Sciences, 2021 | | 2021 |
Automated Theorem Proving in a Chat Environment R Zhumagambetov, M Sterling Nazarbayev University School of Science and Technology, 2018 | | 2018 |
Moses benchmark comparison R Zhumagambetov, D Kazbek, M Shakipov, D Maksut, VA Peshkov, ... | | |