1 - 7 out of 7Page size: 10
  1. 2025

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

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

    Research output: Contribution to conference › Paper › peer-review

  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 Oct 2025, 2025 10th International Conference on Computer Science and Engineering (UBMK). Institute of Electrical and Electronics Engineers Inc., p. 1673-1677 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  4. Human-Annotated NER Dataset for the Kyrgyz Language

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  5. Integrality Gap of Nash Welfare Maximization with Money

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  6. Edge Clique Partition and Cover Beyond Independence

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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

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

    Research output: Contribution to journal › Article › peer-review

  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, In: Proceedings of the AAAI Conference on Artificial Intelligence. 39, 11, p. 11105-11112 8 p.

    Research output: Contribution to journal › Conference article › peer-review

ID: 139593363