Christakis, Maria

4 publications

IJCAI 2025 Lazy Testing of Machine-Learning Models Anastasia Isychev, Valentin Wüstholz, Maria Christakis

AAAI 2024 Automatically Testing Functional Properties of Code Translation Models Hasan Ferit Eniser, Valentin Wüstholz, Maria Christakis

IJCAI 2023 Specifying and Testing K-Safety Properties for Machine-Learning Models Maria Christakis, Hasan Ferit Eniser, Jörg Hoffmann, Adish Singla, Valentin Wüstholz

NeurIPS 2020 Synthesizing Tasks for Block-Based Programming Umair Ahmed, Maria Christakis, Aleksandr Efremov, Nigel Fernandez, Ahana Ghosh, Abhik Roychoudhury, Adish Singla