O.M. Ataeva

О.М. Атаева

5 articles 2025–2026

Highly available systems 5

2026

Explaining formal mathematical proofs using large language models and the SciLib knowledge graph Highly available systems, No. 3, 2026 pp. 55-70
Orchestration of semantic analysis methods Highly available systems, No. 1, 2026 pp. 99-104
Methods of semantic annotation and ontological modeling of mathematical texts in LaTeX format Highly available systems, No. 1, 2026 pp. 90-94
From syntax to semantics: SciLib ontology for formalization of scientific knowledge Highly available systems, No. 1, 2026 pp. 65-70

2025

Access automation to information for navigating through semantic library data and integrating the knowledge graph with the language model Highly available systems, No. 2, 2025 pp. 5-20