Докладчик: Евгений Максимович Сурков (ММФ НГУ)
Тема доклада: Обзор статьи «Lemur: Интегрирование LLM в автоматическую верификацию программ»
Аннотация: Авторы статьи предлагают общую методологию, объединяющую возможности LLMS и автоматических решателей, на примере решателей Efficient SMT-based Bounded Model Checker и UAUTOMIZER . Будут рассмотрены формальное описание этой методологии как набор правил перехода и доказательства их обоснованности.
