За бегом рабочих дней, незаслуженно мимо прошла новость, что две недели назад в университете Саламанки (старейшем в Испании и входящем в четвёрку старейших университетов Европы 😱) прошла конференция HAIS 2024 (The 19th International Conference on Hybrid Artificial Intelligence Systems), в которой мы участвуем уже не первый год

От нас была статья «Common Sense Plan Verification with Large Language Models» за авторством Даниила Григорьева, меня и Александра Панова. Мы предложили подход, комбинирующий перевод языковой инструкции в LTL-формулу (Linear Temporal Logic) и последующую верификацию плана с помощью LLM на основе её представлений о мире – тот самый Common Sense

К сожалению, от авторов никто не поехал, но наш коллега Пётр Кудеров (на фото) доблестно представил статью, за что ему огромное спасибо! 🤗