A.P. Khalov

2026

1. Explaining formal mathematical proofs using large language models and the SciLib knowledge graph Highly available systems, No. 3, 2026 pp. 55-70
2. From syntax to semantics: SciLib ontology for formalization of scientific knowledge Highly available systems, No. 1, 2026 pp. 65-70
3. A data-centric approach to short text classification under class imbalance Highly available systems, No. 1, 2026 pp. 8-11