Лаборатория · SciLib

Лаборатория

Лаборатория

Опубликованные работы, открытые модели и датасеты, описания экспериментов. Линия исследований лаборатории SciLib — формализация научного знания через онтологии и графы, начиная с предметной области математики. Многие работы — совместные с В. А. Серебряковым (ФИЦ ИУ РАН).

Большинство артефактов распространяется по открытым лицензиям с указанием авторов; часть — по запросу.

∂

Публикации

Статьи, препринты, ссылки на DOI.

 ∑

Эксперименты

Бенчмарки и метрики (MiniF2F и др.).

 ∇

Модели

Эмбеддинги и формализованные представления.

 ⊕

Датасеты

Утверждения, результаты прогонов, графы.

Публикации

Ключевые статьи и препринты

Здесь — основные публикации лаборатории SciLib и совместные работы команды по семантическим библиотекам, онтологиям математического знания и автоматизированным рассуждениям. Полный список — в свёрнутом блоке ниже.

Показать полный список (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.

Источники: Springer Link, dblp, Math-Net.Ru, eLibrary.ru, ResearchGate, CEUR-WS. Для уточнений и несовпадений — пишите нам: info@scilibai.ru.

Эксперименты

Бенчмарки и исследования

⊢

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.

Подробнее → ⊢

MiniF2F · premise retrieval benchmark

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

Подробнее → ⊢

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

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

Подробнее → ⊢

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

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

Подробнее →