Lab · SciLib

Lab

Lab

Published works, open models and datasets, experiment write-ups. The SciLib lab works on formalization of scientific knowledge through ontologies and graphs, starting with mathematics. Many papers are joint with V. A. Serebryakov (FRC CSC RAS).

Most artifacts are under open licenses with attribution; some are available on request.

∂

Publications

Papers, preprints, DOI links.

 ∑

Experiments

Benchmarks and metrics (MiniF2F, etc.).

 ∇

Models

Embeddings and formalized representations.

 ⊕

Datasets

Statements, run logs, graphs.

Publications

Key papers and preprints

These are the SciLib lab's key publications and joint works on semantic libraries, mathematical knowledge ontologies and automated reasoning. The full list is in the collapsed block below.

Показать полный список (34 публикаций)
  • 2024 Atayeva O. M., Serebryakov V. A., Tuchkova N. P., Strebkov I. Ontology and Knowledge Graph of Mathematical Physics in the Semantic Library MathSemanticLib. — DAMDID/RCDL 2024 · Communications in Computer and Information Science, Springer. DOI 10.1007/978-3-032-03997-2_4
  • 2024 Atayeva O. M., Serebryakov V. A., Tuchkova N. P. From Texts to Knowledge Graph in the Semantic Library LibMeta. — Lobachevskii Journal of Mathematics. DOI 10.1134/S1995080224602625
  • 2024 Atayeva O. M., Serebryakov V. A., Tuchkova N. P. Ontology-Driven Knowledge Graph Construction in the Mathematics Semantic Library. — Pattern Recognition and Image Analysis, vol. 34, no. 3, pp. 451–458. DOI 10.1134/S1054661824700196
  • 2024 Atayeva O. M., Serebryakov V. A., Tuchkova N. P. Construction of a Personal Knowledge Graph in a Digital Semantic Library LibMeta. — Communications in Computer and Information Science, Springer. DOI 10.1007/978-3-031-67826-4_5
  • 2024 Атаева О. М., Серебряков В. А., Тучкова Н. П. Об описаниях некоторых краевых задач в семантической библиотеке LibMeta. — Российский журнал электронных библиотек, т. 27, вып. 1, ч. 2. https://elbib.ru/…
  • 2024 Атаева О. М., Массель Л. В., Серебряков В. А., Тучкова Н. П. Интеллектуальный анализ данных при построении графа знаний мультидисциплинарного журнала. — Информационные и математические технологии в науке и управлении, № 3 (35). https://journals.rcsi.science/2413-0133/…
  • 2024 Кулешов А. А., Беляев К. П., Смирнов И. Н., Тучкова Н. П. Statistical distribution of characteristics of the model solution after data assimilation. — Lobachevskii Journal of Mathematics, vol. 45, no. 5, pp. 2328–2334.
  • 2023 Atayeva O. M., Serebryakov V. A., Tuchkova N. P. Ontological Approach to a Knowledge Graph Construction in a Semantic Library. — Lobachevskii Journal of Mathematics, vol. 44, pp. 2229–2239. DOI 10.1134/S1995080223060471
  • 2023 Atayeva O. M., Karnet Yu. N., Serebryakov V. A., Tuchkova N. P. Approach to Creating a Thesaurus and a Knowledge Graph of an Applied Subject Area. — Lobachevskii Journal of Mathematics, vol. 44, pp. 2577–2586. DOI 10.1134/S1995080223070077
  • 2023 Mikhailov G. M., Belyaev K. P., Tuchkova N. P. Stochastic Analysis of Ocean–Atmosphere Heat Fluxes in the North Atlantic. — Ivannikov ISPRAS Open Conference 2023.
  • 2022 Atayeva O. M., Serebryakov V. A., Tuchkova N. P. Creating the Applied Subject Area Ontology by Means of the Content of the Digital Semantic Library. — Lobachevskii Journal of Mathematics, vol. 43, pp. 1557–1566. DOI 10.1134/S1995080222100043
  • 2022 Atayeva O. M., Serebryakov V. A., Tuchkova N. P. Development of the Semantic Space «Mathematics» by Integrating a Subspace of Its Applied Area. — Lobachevskii Journal of Mathematics, vol. 43, pp. 3435–3446. DOI 10.1134/S1995080222150069
  • 2022 Атаева О. М., Серебряков В. А., Тучкова Н. П. О модели поиска синонимов / On a Synonym Search Model. — Электронные библиотеки, т. 24, вып. 6, с. 1006–1022. DOI 10.26907/1562-5419-2021-24-6-1006-1022
  • 2021 Atayeva O. M., Serebryakov V. A., Tuchkova N. P. Ontology Based Approach to Modeling of the Subject Domain «Mathematics» in the Digital Library. — Lobachevskii Journal of Mathematics, vol. 42. DOI 10.1134/S199508022108028X
  • 2021 Atayeva O. M., Serebryakov V. A., Tuchkova N. P. Using Applied Ontology to Saturate Semantic Relations. — Lobachevskii Journal of Mathematics, vol. 42. DOI 10.1134/S1995080221080059
  • 2021 Atayeva O., Serebriakov V. A., Tuchkova N. P. Search Query Extension Semantics. — DAMDID/RCDL 2021 Supplementary, CEUR-WS Vol-3036, pp. 325–339. https://ceur-ws.org/Vol-3036/paper26.pdf…
  • 2021 Atayeva O., Serebryakov V. A., Tuchkova N. P. On Synonyms Search Model. — SSI 2021, CEUR-WS Vol-3066, pp. 13–22. https://ceur-ws.org/Vol-3066/paper2.pdf…
  • 2020 Atayeva O. M., Serebryakov V. A., Tuchkova N. P. Ontological Approach: Knowledge Representation and Knowledge Extraction. — Lobachevskii Journal of Mathematics, vol. 41, no. 10. DOI 10.1134/S1995080220100030
  • 2020 Атаева О. М., Серебряков В. А., Тучкова Н. П. Создание расширения запросов на основе тезауруса предметной области в онтологии знаний семантической библиотеки. — Электронные библиотеки, т. 23, вып. 3, с. 271–291. https://elbib.ru/article/view/605…
  • 2020 Atayeva O., Serebryakov V. A., Tuchkova N. P. Author's Identification within the Subject Area in the Semantic Library. — SSI 2020, CEUR-WS Vol-2784, pp. 12–22. https://ceur-ws.org/Vol-2784/rpaper02.pd…
  • 2020 Atayeva O., Serebryakov V. A., Tuchkova N. P. The Role and Challenges of the Digitalization Process in the Preservation and Development of Scientific Schools. — CDSSK 2020, CEUR-WS Vol-2990, pp. 11–24. https://ceur-ws.org/Vol-2990/rpaper2.pdf…
  • 2019 Atayeva O. M., Serebryakov V. A., Tuchkova N. P. Information Model of LibMeta Digital Library. — Lobachevskii Journal of Mathematics, vol. 40, no. 7, pp. 928–937. DOI 10.1134/S1995080219070035
  • 2019 Atayeva O. M., Serebryakov V. A., Tuchkova N. P. Mathematical Physics Branches: Identifying Mixed Type Equations. — Lobachevskii Journal of Mathematics, vol. 40, no. 7. DOI 10.1134/S1995080219070047
  • 2019 Atayeva O., Serebryakov V. A., Tuchkova N. P. Mathematical Physics Problems: Thesaurus and Ontology. — DAMDID/RCDL 2019, CEUR-WS Vol-2523, pp. 158–168. https://ceur-ws.org/Vol-2523/paper16.pdf…
  • 2019 Atayeva O., Serebryakov V. A., Tuchkova N. P. Query Expansion Method Application for Searching in Mathematical Subject Domains. — SSI 2019, CEUR-WS Vol-2543, pp. 38–48. https://ceur-ws.org/Vol-2543/rpaper04.pd…
  • 2019 Belyaev K. P., Kuleshov A. A., Tuchkova N. P. The Stability Problem for a Dynamic System with the Assimilation of Observational Data. — Lobachevskii Journal of Mathematics, vol. 40, no. 7, pp. 911–917.
  • 2019 Тучкова Н. П. Intellectual Contribution of Specialized Thesauruses to Cognitive Technologies. — VIth International Workshop «Critical Infrastructures: Contingency Management».
  • 2018 Атаева О. М., Серебряков В. А., Тучкова Н. П. Подходы к организации математических знаний при формировании предметных тезаурусов различных разделов математики. — CEUR-WS Vol-2260, pp. 42–54. https://ceur-ws.org/Vol-2260/…
  • 2018 Belyaev K., Kuleshov A., Tuchkova N., Tanajura C. A. S. An optimal data assimilation method and its application to the numerical simulation of the ocean dynamics. — Mathematical and Computer Modelling of Dynamical Systems, vol. 24, no. 1, pp. 12–25.
  • 2018 Belyaev K. P., Kirchner I., Kuleshov A. A., Tuchkova N. P. Numerical realization of hybrid data assimilation algorithm in ensemble experiments with the MPIESM coupled model. — The Ocean in Motion: Circulation, Waves, Polar Oceanography, Springer, pp. 447–459.
  • 2016 Belyaev K., Kuleshov A., Kirchner I., Tuchkova N. Numerical experiments with MPI-ESM coupled Atmosphere–Land–Ocean model in conjunction with data assimilations in Arctic Region. — AIP Conference Proceedings, vol. 1790, no. 1, art. 150005.
  • 2016 Lurie S., Volkov-Bogorodskii D., Tuchkova N. Exact solution of Eshelby–Christensen problem in gradient elasticity for composites with spherical inclusions. — Acta Mechanica, vol. 227, no. 1, pp. 127–138.
  • 2015 Lurie S., Minhat M., Tuchkova N. Estimation of effective dynamic properties of bristled fiber composite materials based on a self-consistent Eshelby method. — Journal of Engineering Mathematics, vol. 95, no. 1, pp. 7–29.
  • 2010 Lurie S., Belov P., Tuchkova N. Gradient Theory of Media with Conserved Dislocations: Application to Microstructured Materials. — Mechanics of Generalized Continua: One Hundred Years After the Cosserats, Springer.

Sources: Springer Link, dblp, Math-Net.Ru, eLibrary.ru, ResearchGate, CEUR-WS. For corrections and inconsistencies — write to us: info@scilibai.ru.

Experiments

Benchmarks & research

⊢

SciLibModal · training of the multimodal encoder

Simplex geometry in a shared R^312, alignment + contrastive + anti-collapse regularization. Cross-modal R@1 = 0.74 across five modalities.

More → ⊢

MiniF2F · premise retrieval benchmark

488 MiniF2F tasks × 104 runs each = 50 752 Lean-REPL verified runs. SciLib-GRC21 vs LeanSearch / LeanFinder / LeanExplore.

More → ⊢

SciLibModal · обучение мультимодального энкодера

Геометрия симплекса в общем пространстве R^312, alignment + contrastive, регуляризация против коллапса. Cross-modal R@1 = 0.74 на пяти модальностях.

More → ⊢

MiniF2F · бенчмарк подбора лемм

488 задач MiniF2F × 104 запуска на задачу = 50 752 прогонов с верификацией Lean REPL. Сравнение SciLib-GRC21 против LeanSearch / LeanFinder / LeanExplore.

More →