RUS
ENG
Full version
PEOPLE
Rozorskiy Mikhail Aleekseevich
Publications in Math-Net.Ru
Combining logical reasoning and LLMs toward creating multi-agent smart home systems
Proceedings of ISP RAS
,
37
:4(2) (2025),
219–234
©
Steklov Math. Inst. of RAS
, 2025
