Мюнхен🥨NLP × JetBrains: Кодовая Интеллектуальность и AI-Агенты

Что нужно, чтобы AI-системы действительно понимали код, и что происходит, когда программное обеспечение больше не разрабатывается только для людей, но и для AI-агентов? Присоединяйтесь к Munich🥨NLP и JetBrains на вечеринке, посвящённой Кодовой Интеллектуальности и AI-агентам, объединяющей исследования и мнения индустрии о том, как LLM понимают поведение программ и как люди и кодирующие агенты могут сотрудничать в разработке программного обеспечения. Доклад 1: Модели Кодового Мира Тобиас Линденбауэр · Исследования JetBrains Доклад 2: Проектирование ПО для людей и агентов Артем Кисловский · Artefact Два доклада, пицца, напитки и закуски, а также много времени для общения с сообществом NLP, AI и разработчиков Мюнхена. 📅 Повестка дня 17:45 | Открытие дверей 18:20 | Пицца прибудет 🍕 18:50 | Приветствие и Введение JetBrains × Munich🥨NLP 19:00 | Доклад 1: "Модели Кодового Мира" Спикер: Тобиас Линденбауэр · Исследования JetBrains Аннотация Современные LLM хорошо справляются с генерацией кода, который решает конкретную задачу, но они могут вводить регрессии в других местах кодовой базы или просто писать код с плохой производительностью по времени выполнения или памяти. Это заставило исследователей изучить, насколько хорошо LLM моделируют поведение программы внутренне: могут ли они сказать, проходит ли тест или нет, не запуская его? Чувствуют ли они, какие части кода следует целенаправленно оптимизировать для повышения производительности по времени выполнения или памяти? В этом докладе Тобиас изложит возникающее направление исследований Моделей Кодового Мира и поделится ранними результатами из текущего проекта в JetBrains Research. О спикере Тобиас Линденбауэр - исследователь-инженер в JetBrains Research, работающий над Моделями Кодового Мира для улучшенного понимания кода LLM. Ранее он работал над управлением контекстом, маршрутизацией LLM, системами памяти и тестами, результатом чего стали публикации в DL4C@NeurIPS и REALM@ACL. 19:40–19:50 | Краткий перерыв 19:50 | Доклад 2: "Проектирование ПО для людей и агентов" Спикер: Артем Кисловский · Artefact Аннотация Один кодирующий агент пишет; другой ставит под сомнение. В этой живой демонстрации Claude Code и Codex делятся разделённым терминалом в актерно-критической петле: актер вносит изменения, пока критик их проверяет, ставит под сомнение предположения и проводит проверки. Обратная связь направляет следующую редакцию актера, а критик снова проверяет. Мы исследуем, как ясные обязанности, проверяемое состояние и проверяемые действия поддерживают это сотрудничество — с человеком, решающим, кто действует, а кто критикует. О спикере Артем Кисловский - старший инженер-программист в Artefact в Лозанне, разрабатывающий надежное швейцарское программное обеспечение. 20:30 | Сетевые встречи, напитки и закуски 🎟️ Регистрация Регистрация бесплатна, но требуется одобрение организатора из-за ограниченной вместимости. Если ваши планы изменятся, пожалуйста, отмените регистрацию, чтобы мы могли предоставить место кому-то другому.