О.М. Атаева

O.M. Ataeva

5 статей 2025–2026

Системы высокой доступности 5

2026

Обоснование формальных математических доказательств с использованием больших языковых моделей и графа знаний SciLib Системы высокой доступности, №3 за 2026 г. С. 55-70
Методы семантического анализа в процессах обработки данных Системы высокой доступности, №1 за 2026 г. С. 99-104
Методы семантической разметки и онтологического моделирования математических текстов в формате LaTeX Системы высокой доступности, №1 за 2026 г. С. 90-94
От синтаксиса к семантике: онтология формализации научного знания SciLib Системы высокой доступности, №1 за 2026 г. С. 65-70

2025

Автоматизация доступа к информации при навигации по данным семантической библиотеки и интеграции графа знаний с языковой моделью Системы высокой доступности, №2 за 2025 г. С. 5-20