Наукові відкриті джерела: Генеративні обчислення

Досліджуйте генеративні обчислення з IBM Research у Дубліні 24 вересня 2026 року через технічні доповіді, живе програмування, приклади з відкритим кодом та обговорення. ## Від запитів до передбачуваних програм Захід проходитиме з 17:30 до 20:30 у Бізнес-школі Триніті Коледжу Дублін, це друга зустріч Open Source Science Dublin, на якій розглядається, як наукові дослідження, штучний інтелект та хмарна інфраструктура перетинаються з технологією з відкритим кодом. Основна тема - Генеративні обчислення: написання програм, які викликають моделі так само, як вони викликають функції, при цьому застосовуючи знайомі програмні очікування щодо структури, тестованості та управління. Замість того щоб розглядати взаємодії LLM як випадкові запити, вкладені в код додатка, доповідачі досліджують, як виклики моделей можуть стати типізованими, композованими, перевіряємими та керованими елементами програми. ## Доповіді та практичні приклади Програма включає технічні поглиблені доповіді від IBM Research, одне додаткове доповідь ще буде оголошено: - Генеративні обчислення з Mellea: Програми, які викликають моделі як функції , Рахул Нейр представляє Mellea, бібліотеку Python з відкритим кодом для передбачуваних генеративних програм. Сесія охоплює інструкції, вимоги, стратегії вибірки та перевіряльники, підтримувані живим програмуванням та прикладами того, як Mellea працює з широкою екосистемою Python. - FactReasoner: Перенесення ймовірнісного оцінювача фактичності на Mellea , Раду Маринеску представляє FactReasoner, систему IBM для оцінки фактичності створеного тексту. Очікуйте практичний звіт про його перехід з індивідуальної реалізації на Mellea, включаючи результуючі поліпшення надійності та прискорення. Учасники також можуть прочитати супутню наукову статтю. - Компилятор навичок Mellea: Від простих специфікацій до керованих конвеєрів , доповідач з IBM Research продемонструє Компилятор навичок Mellea, який перетворює специфікації навичок простою мовою на керовані генеративні конвеєри з оцінювальними пристроями, перевірками вимог та походженням. Досліджується сертифікація для навичок, підтримуваних LLM, та підлягаючих аудиту впровадження продукції. ## Хто повинен відвідати?… Зареєструйтесь на цей захід