А.П. Халов

2026

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