RUS
ENG
Full version
PEOPLE
Chibisov Dmitrii Aleksandrovich
Publications in Math-Net.Ru
Increasing precision of static code analysis using large language models
Proceedings of ISP RAS
,
37
:6(1) (2025),
83–100
©
Steklov Math. Inst. of RAS
, 2026