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)