N.P. Tuchkova

Н.П. Тучкова

4 articles 2025–2026

Highly available systems 4

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
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