1. 2025
  2. PySymGym: An Infrastructure to Train AI-Powered Navigation Assistant for Symbolic Execution Engine

    Григорьев, С. В., Чистякова, А. А., Шеметова, Е. Н., Нигматулин, М. В., Парфенов, Д. И. & Ахмедов, Д. Х., 29 Apr 2025, 2025 IEEE/ACM 1st International Workshop on Advancing Static Analysis for Researchers and Industry Practitioners in Software Engineering (STATIC). Institute of Electrical and Electronics Engineers Inc., p. 13-16 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

ID: 123450650