1. 2025
  2. LAMeD: LLM-generated Annotations for Memory Leak Detection

    Шеметова, Е. Н., Шенбин, И., Смирнов, И. З., Алексеев, А. М., Рухович, А., Николенко, С. И., Ломшаков, В. & Пионтковская, И., 24 дек 2025, стр. 1024-1034. 10 стр.

    Результаты исследований: Материалы конференцийматериалыРецензирование

  3. Bridging the Gap in Less-Resourced Languages: Building a Benchmark for Kyrgyz Language Models

    Turatali, T., Turdubaeva, A., Islam, Z., Suranbaev, Z., Алексеев, А. М. & Izmailov, R., 24 окт 2025, 2025 10th International Conference on Computer Science and Engineering (UBMK). Institute of Electrical and Electronics Engineers Inc., стр. 1673-1677 5 стр.

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  4. Human-Annotated NER Dataset for the Kyrgyz Language

    Turatali, T., Алексеев, А. М., Jumalieva, G., Kabaeva, G. & Николенко, С. И., 24 окт 2025, 2025 10th International Conference on Computer Science and Engineering (UBMK). Institute of Electrical and Electronics Engineers Inc., стр. 1607-1612 6 стр.

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  5. Integrality Gap of Nash Welfare Maximization with Money

    Дементьев, Ю. И., Гравин, Н. & Игнатьев, А. А., 21 окт 2025, ECAI 2025.

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  6. Edge Clique Partition and Cover Beyond Independence

    Сагунов, Д. Г., Фомин, Ф., Головач, П. & Симонов, К., 1 окт 2025, 33rd Annual European Symposium on Algorithms (ESA 2025). 16 стр. 43. (Leibniz International Proceedings in Informatics, LIPIcs; том 351).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  7. Интервальные временные ограничения для планирования согласованных движений многозвенных манипуляторов

    Яковлев, К. С. & Зайцев, А. С., 19 авг 2025, в: Информатика и автоматизация. 24, 4, стр. 1007-1028 22 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  8. Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis

    Averkov, D., Belova, T., Emdin, G., Goncharov, M., Krivogornitsyna, V., Kulikov, A. S., Kurmazov, F., Levtsov, D., Levtsov, G., Vaskin, V. & Vorobiev, A., 2025, в: Proceedings of the AAAI Conference on Artificial Intelligence. 39, 11, стр. 11105-11112 8 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатья в журнале по материалам конференцииРецензирование

ID: 139593363