PySymGym: An Infrastructure to Train AI-Powered Navigation Assistant for Symbolic Execution Engine. - Anna Chistyakova; Maxim Nigmatulin; Ekaterina Shemetova; Danil Parfenov; David Akhmedov; Semyon V. Grigorev (STATIC, 2025)

LAMeD: LLM-generated Annotations for Memory Leak Detection. - Ekaterina Shemetova; Ilya Shenbin; Ivan Smirnov; Anton Alekseev 001; Alexey D. Rukhovich; Sergey I. Nikolenko; Vadim Lomshakov; Irina Piontkovskaya (CoRR, 2025)