Research output

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  2. LAMeD: LLM-generated Annotations for Memory Leak Detection

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  3. Rational Index of Languages Defined by Grammars with Bounded Dimension of Parse Trees

    Research output: Contribution to journal › Article › peer-review

View all (7) »

Projects

  1. Логические и алгебраические методы в теории формальных языков: 2022 г. этап 5

    Project: Grant fulfilment › Grant stage fulfilment

  2. Логические и алгебраические методы в теории формальных языков: 2021 г. этап 4

    Project: Grant fulfilment › Grant stage fulfilment

  3. Логические и алгебраические методы в теории формальных языков: 2020 г. этап 3

    Project: Grant fulfilment › Grant stage fulfilment

View all () »

ID: 39437091