Использование графовой нейронной сети в качестве оракула при выборе пути в символьном исполнении

Одна из ключевых задач в символьном исполнении --- выбора оптимального для решении поставленной задачи пути исполнения. Алгоритмически данная задача не разрешима потому для её решения используются различные приближённые алгоритмы иили эвристики. Возможно ли в качестве такой эвристики использовать искусственную нейронную сеть? Информация о программе достаточно естественным образом может быть представлена в виде графа и графовая нейронная сеть выглядит достаточно перспективным кандидатом. Сможет ли она стать лучше существующих подходов? На семинаре обсудим способ представления информации о программе детали процесса обучения текущие результаты.,

#