Synthetic Proofs with Tool-Integrated Reasoning: Contrastive Alignment for LLM Mathematics with Lean

Ivanova V., Фролов Е. П., Васильев А. В., , in: RecSys '25: Proceedings of the Nineteenth ACM Conference on Recommender Systems.: ACM, 2025. P. 1142–1147.

Добавлено: 26 января 2026 г.

Digital Twin for Predictive Anomaly Detection in Data Center Cooling Systems: A Modelica-Based Approach with Synthetic Data Generation

Polyakov S., Borisov V., Гущин М. И. и др., , in: 2025 IEEE XVII International Scientific and Technical Conference on Actual Problems of Electronic Instrument Engineering (APEIE).: IEEE, 2025. Ch. 129 P. 1–6.

Добавлено: 19 декабря 2025 г.

Обзор методов верификации смарт-контрактов

С. М. Авдошин, А. М. Литвиненко, Информационные технологии 2025 Т. 31 № 1 С. 42–55

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

Добавлено: 23 января 2025 г.

EEG-Based fMRI Digital Twin: Towards a Cheap and Ecological Approach to Measure Subcortical Brain Activity

Nikolay Dagaev, Ilia Semenkov, Alexei Ossadtchi, , in: 27th European Conference on Artificial Intelligence, 19–24 October 2024, Santiago de Compostela, Spain – Including 13th Conference on Prestigious Applications of Intelligent Systems (PAIS 2024)Vol. 392.: IOS Press, 2024. P. 4463–4466.

Добавлено: 24 октября 2024 г.

Counterfactual explanations based on synthetic data generation

Yuri A. Zelenkov, Elizaveta V. Lashkevich, Business Informatics 2024 Vol. 18 No. 3 P. 24–40

Добавлено: 13 октября 2024 г.

On the Modeling of Sequential Reactive Systems by Means of Real Time Automata

Винарский Е. М., Захаров В. А., Automatic Control and Computer Sciences 2021 Vol. 55 No. 7 P. 751–762

Добавлено: 17 января 2022 г.

Hotel Recognition via Latent Image Embeddings

Boris Tseytlin, Макаров И. А., , in: Advances in Computational Intelligence: 16th International Work-Conference on Artificial Neural Networks, IWANN 2021, Virtual Event, June 16–18, 2021, Proceedings, Part II.: Cham: Springer, 2021. Ch. 24 P. 293–305.

Добавлено: 1 сентября 2021 г.

OS2D: One-Stage One-Shot Object Detection by Matching Anchor Features

Осокин А. А., Sumin D., Lomakin V., , in: Computer Vision – ECCV 2020; 16th European Conference, Glasgow, UK, August 23–28, 2020, Proceedings, Part XVVol. 12360.: NY: Springer, 2020. P. 635–652.

Добавлено: 28 октября 2020 г.

Automated Formal Verification of Model Transformations Using the Invariants Mechanism

Boris Ulitin, Eduard Babkin, Tatiana Babkina и др., , in: Lecture Notes in Business Information ProcessingIssue 365: Perspectives in Business Informatics Research.: Switzerland: Springer, 2019. P. 59–73.

Добавлено: 30 сентября 2019 г.

Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

Cham: Springer, 2015.

This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015. The 2 invited and 23 full papers presented in this volume were carefully reviewed and selected from 56 submissions. The papers cover various topics related to the foundations of program and ...

Добавлено: 29 января 2019 г.

Введение в формальные методы верификации программ: учебное пособие

Камкин А. С., М.: МАКС Пресс, 2018.

Книга является учебным пособием по формальным методам верификации программ и основана на курсах лекций, читаемых автором на факультете ВМК МГУ имени М.В. Ломоносова, ФУПМ МФТИ и ФКН ВШЭ. В ней изложены основы таких подходов, как дедуктивный анализ и проверка моделей. Список тем включает: методы формализации семантики языков программирования (операционная и аксиоматическая семантика), методы формальной спецификации ...

Добавлено: 2 ноября 2018 г.

Proceedings of 9th Workshop “Program Semantics, Specification and Verification: Theory and Applications" (PSSV-2018), Yaroslavl, Russia, June 21-22, 2018

Yaroslavl: Ярославский государственный университет им. П.Г. Демидова, 2018.

Добавлено: 26 октября 2018 г.

Tool for Behavioral Analysis of Well-Structured Transition Systems

Дворянский Л. В., Михайлов В. Е., Proceedings of the Institute for System Programming of the RAS 2017 Vol. 29 No. 4 P. 175–190

Вполне структурированные системы переходов являются хорошо известным инструментом для доказательства разрешимости свойств покрываемости и ограниченности. Каждый год появляются новые формализмы, которые оказываются вполне структурированными системами переходов. Несмотря на большой объем теоретической работы, существует большая потребность в эмпирических изучении вполне структурированных систем переходов. В данной работе представлен инструмент для анализа таких систем. Мы предлагаем расширение высокоуровневого ...

Добавлено: 1 октября 2017 г.