AutoIoT generates conflict-free smart home automation rules from user photos and manuals using LLMs, and verifies them with Maude via a logic-syntax code adapter.
A friend’s eye is a good mirror: Synthesizing {MCU} peripheral models from peripheral drivers,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CR 1years
2024 1verdicts
REJECT 1representative citing papers
citing papers explorer
-
AutoIoT: Automated IoT Platform Using Large Language Models
AutoIoT generates conflict-free smart home automation rules from user photos and manuals using LLMs, and verifies them with Maude via a logic-syntax code adapter.