ИСП РАН @ispras Channel on Telegram

ИСП РАН

@ispras


ИСП РАН (Russian)

Добро пожаловать в Telegram канал 'ИСП РАН'! В этом канале вы найдете самую актуальную информацию о научных исследованиях, проводимых Институтом системного программирования Российской академии наук. Наш институт специализируется на разработке современных программных систем, методах и инструментах для их создания, а также проведении научных исследований в области информационных технологий. Мы уделяем особое внимание вопросам кибербезопасности, автоматизации программирования, тестирования программного обеспечения и многим другим важным аспектам современной информатики. Присоединяйтесь к нам, чтобы быть в курсе последних достижений науки в области программирования и информационных технологий!

ИСП РАН

21 Nov, 14:06


✔️Елена Тутубалина, д.к.н., руководитель научной группы "Domain-specific NLP" в Институте AIRI, старший научный сотрудник ИСП РАН и КФУ выступила на ведущей международной конференции по обработке естественного языка и искусственному интеллекту Empirical Methods in Natural Language Processing (EMNLP) (https://2024.emnlp.org/).

➡️Работа Lost in Translation: Chemical Language Models and the Misunderstanding of Molecule Structures посвящена анализу устойчивости больших языковых моделей (LLM) в химии. В статье предложен новый фреймворк оценки качества химических языковых моделей Augmented Molecular Retrieval (AMORE), основанный на многозначности строковых представлений молекул SMILES.

Предпосылкой к созданию метода явились малое количество и затратность создания размеченных датасетов в области химического моделирования.

ИСП РАН

18 Nov, 10:32


Директор ИСП РАН Арутюн Аветисян принял участие в награждении призёров Всероссийской олимпиады по искусственному интеллекту (ИИ), которая объединила школьников 8-11 классов.

Вместе с руководителем группы по координации и мониторингу федерального проекта «Искусственный интеллект» Юрием Сапожниковым он вручил грамоты тем участникам, которые не стали победителями, но были отмечены жюри. Кроме того, Арутюн Аветисян представил участникам церемонии двухтомник «Российская академия наук: 300 лет истории»; экземпляры книги были вручены победителям.

Организаторы олимпиады – Министерство просвещения РФ, Банк России, Государственный университет просвещения, VK, МФТИ и другие. Арутюн Аветисян выступает председателем жюри.

ИСП РАН

14 Nov, 15:08


🙌🙌🙌🙌
ИСП РАН и Росфинмониторинг подписали соглашение о сотрудничестве и об информационном взаимодействии.

🔴Соглашение нацелено на развитие цифровых технологий для противодействия финансовым преступлениям.

✔️Соглашение в Президиуме РАН подписали Президент РАН академик Геннадий Красников, директор Института системного программирования им. В.П. Иванникова РАН, заместитель президента РАН академик Арутюн Аветисян и директор Федеральной службы по финансовому мониторингу Юрий Чиханчин.

👉Взаимодействие также направлено на улучшения в области научно-исследовательских и опытно-конструкторских работ, фундаментальных исследований в сфере развития национальной антиотмывочной системы, а также развитие кадрового потенциала.

✔️Важной частью соглашения является план по созданию на базе ИСП РАН Центра компетенций по вопросам поддержки процессов обеспечения технологического лидерства и суверенитета в области развития национальной системы ПОД/ФТ/ФРОМУ.

#НОП

ИСП РАН

13 Nov, 14:20


🤝 📁 Институт системного программирования РАН и Росфинмониторинг подписали соглашение о сотрудничестве, направленное на развитие цифровых технологий для противодействия финансовым преступлениям.

Совместные усилия будут сосредоточены на применении искусственного интеллекта для анализа больших данных, что укрепит национальную систему противодействия отмыванию доходов, финансированию терроризма и оружия массового уничтожения.

@ispras @fedsfm_ru

ИСП РАН

12 Nov, 14:45


Уважаемые коллеги!

Закончился период экспертизы научных статей для конференции AI Journey 2024. Работа проводилась, как учеными нашего Института, так и внешними специалистами, сотрудничающими с ИСП РАН.

Сложился состав очень квалифицированных экспертов, которые проделали титанический труд, выполнив в кратчайшие сроки более 300 качественных экспертиз.

От лица руководства Института хотим выразить огромную благодарность и отметить каждого эксперта за проделанный труд:

Аветисян Арам Арутюнович,
Аветисян Карен Ишханович,
Акименков Александр Андреевич,
Алексеевская Ирина Сергеевна,
Анциферова Анастасия Всеволодовна,
Архипенко Константин Владимирович,
Безносиков Александр Николаевич,
Беляева Оксана Владимировна
Бечкало Евгений Романович,
Бойко Александр Михайлович,
Варламов Максим Игоревич,
Вишняков Юрий Саввич,
Голодков Александр Олегович,
Гугучкин Егор Павлович,
Гасников Александр Владимирович,
Дерюгин Максим Александрович,
Дробышевский Михаил Дмитриевич,
Жирков Александр Олегович,
Зыкина Анастасия Олеговна,
Карпулевич Евгений Андреевич,
Качанов Владимир Владимирович,
Киранов Дмитрий Маратович,
Кущук Денис Олегович,
Лукьянов Кирилл Сергеевич,
Макаров Илья Андреевич,
Маркин Юрий Витальевич,
Михайлов Дмитрий Сергеевич,
Молодецких Иван Андреевич,
Недумов Ярослав Ростиславович,
Пастухов Роман Константинович,
Перминов Андрей Игоревич,
Пивоваров Александр Васильевич,
Рындин Максим Алексеевич,
Сазонов Георгий Владимирович,
Скорик Сергей Николаевич,
Сосновиков Артур Дмитриевич,
Сорокин Константин Сергеевич,
Соченков Илья Владимирович,
Стрижак Сергей Владимирович,
Турдаков Денис Юрьевич,
Ушаков Егор Николаевич,
Фролов Александр Евгеньевич,
Шайхелисламов Данил Салаватович,
Якушев Алексей Юрьевич.

Одним из главных результатов проделанной работы стал сложившийся коллектив экспертов, способных решать очень важную и ответственную задачу.

ИСП РАН

11 Nov, 08:13


👨‍💻 Директор ИСП РАН академик Арутюн Аветисян и научный сотрудник института Дмитрий Журихин приняли участие в первой министерской конференции Форума партнёрства «Россия-Африка» в Сочи.

🛡 Арутюн Аветисян выступил на круглом столе по международной информационной безопасности – в рамках дискуссий «Вызовы цифровому суверенитету» и «Ключевые условия обеспечения безопасности цифрового развития».

🔢 Дмитрий Журихин представил на выставке инструменты разработки безопасного программного обеспечения, созданные в ИСП РАН и внедрённые более чем в 200 компаниях.
Фото: Росконгресс

#НОП

ИСП РАН

09 Nov, 10:48


🔥🔤🔤🔤Участники образовательной программы «Доверенный искусственный интеллект» Университета «Сириус» научились улучшать ИТ-продукты

В рамках программы, которая прошла 7-18 октября, студенты ВМК МГУ Дарья Парыгина и Алексей Романов под руководством сотрудника ИСП РАН Федора Ниськова разработали пример использования больших языковых моделей для обогащения начального корпуса входных данных, а также для расширения функционала инструмента динамического анализа Crusher, разработанного в институте.

📈Проделанная работа позволит активизировать использование искусственного интеллекта в инструментах анализа программного обеспечения и повысить количество обнаруживаемых дефектов в программах во время их разработки.

➡️Исходный код плагина для Crusher выложен на GitHub: https://github.com/ispras/crusher/tree/master/Examples/Crusher/Linux/LLM_PDF

ИСП РАН

08 Nov, 09:34


Уважаемые коллеги!

Ближайший доклад на семинаре «Математические основы искусственного интеллекта» в Математическом институте им. В.А. Стеклова РАН пройдет в формате онлайн:

Место и время: Zoom, среда, 13 ноября 2024 г., 18:00-19:00

Ronald DeVore (Texas A&M University, USA):
Optimal Recovery meets Mini-Max

Аннотация: We consider the problem of numerically recovering an unknown function f from m point samples of f with error to be measured in some Banach space norm |·|_X. Bounds on the error of recovery can only be proved if there is additional information in the form that f ∈ K where K ⊂ X is compact. Two theories have emerged to define optimal performance of such a numerical algorithm. Optimal recovery assumes the point samples have no noise. Mini-max estimates assume the measurement are corrupted by additive i.i.d. Gaussian noise of mean zero and variance σ^2. One would expect that the minimax bounds (claimed to be optimal) would converge to the Optimal Recovery bounds as σ → 0. However, the existing mini-max bounds in the literature do not provide such estimates.
The goal of this talk is to understand what is going on. We restrict our attention to the case f is defined on a nice domain Ω ⊂ R^d and the model class K is the unit ball of a Besov space B^s_τ(L_p(Ω)) and the error is to be measured in an L_q(Ω) norm. We show that the existing mini-max rates in the literature are not clearly stated in terms of their dependence on σ. We go on to establish the true minimax rates as a function of σ and show that these rates converge to the optimal recovery rate when σ converges to zero. Another important aspect of our analysis is that it does not depend on wavelet decompositions which are somewhat opaque when the support of the wavelet intersects the bounday. This is joint work in collaboration with Robert Nowak, Rahul Parhi, Guergana Petrova, and Jonathan Siegel.

Ссылка на трансляцию в Zoom:
https://zoom.us/j/97599849413?pwd=bVFCNzhZbzdZM1BXOUowREpKOFdhQT09

Идентификатор конференции: 975 9984 9413
Код доступа: 585526

ИСП РАН

07 Nov, 15:32


Завершился визит делегации ИСП РАН в Сербию!

👨‍💻 Директор ИСП РАН Арутюн Аветисян и его коллеги вместе с председателем регионального подразделения IEEE Computer Society Божидаром Раденковичем успели обсудить не только искусственный интеллект, но и искусство. Они побывали в гостях у известного сербского и российского скульптора и художника Драгана Раденовича – действительного члена Российской академии художеств.

Кроме того, делегация института посетила центр науки и культуры «Русский дом» в Белграде, где прошли встречи с заместителем директора Вячеславом Чарски и советником Георгием Энгельхардтом. В числе прочих тем обсуждалось и проведение конференции ИСП РАН «Иванниковские чтения» в Белграде в мае 2025 года.

#НОП