Для цитирования:
МАНДРЫКИН М.У., МУТИЛИН В.С., ПЕТРЕНКО А.К., СОРОКИН К.С., ТЮКИН И.Ю. Выбор интерфейса системы Isabelle для взаимодействия с большими языковыми моделями. Труды Института системного программирования РАН. 2025;37(6):27-44. https://doi.org/10.15514/ISPRAS-2025-37(6)-48
For citation:
MANDRYKIN M.U., MUTILIN V.S., PETRENKO A.K., SOROKIN K.S., TYUKIN I.Yu. Choosing an Isabelle System Interface for Interacting with Large Language Models. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2025;37(6):27-44. (In Russ.) https://doi.org/10.15514/ISPRAS-2025-37(6)-48
Послать статью по эл. почте 