Surkov10mar26

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