Kirill Kulyukin

According to our database, Kirill Kulyukin authored at least 3 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2024

An Approach to Formal Verification of Programs in Learning C Programming.

Kirill Kulyukin, Dmitrii Litovkin

Proceedings of the Novel and Intelligent Digital Systems: Proceedings of the 4th International Conference, 2024

Detecting Function Inputs and Outputs for Learning-Problem Generation in Intelligent Tutoring Systems.

Kirill Kulyukin, Grigoriy Yakimov, Oleg Sychev

Proceedings of the Generative Intelligence and Intelligent Tutoring Systems, 2024

2022

Intelligent Tutor for Designing Function Interface in a Programming Language.

Dmitry Litovkin, Anton Anikin, Kirill Kulyukin, Oleg Sychev

Proceedings of the Intelligent Tutoring Systems - 18th International Conference, 2022