Результаты

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

   Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › Рецензирование

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

   Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › Рецензирование

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

   Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

Просмотреть все (7) »