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.
Sic 2: Securing microcontroller based iot devices with low-cost crypto coprocessors,
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.