An LLM-powered architecture for the IoT-Together paradigm interprets user goals through a three-pass dialogue and generates IoT services at runtime, evaluated in a Hyderabad tourism case study.
Language to Specify Syntax-Guided Synthesis Problems
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
We present a language to specify syntax guided synthesis (SyGuS) problems. Syntax guidance is a prominent theme in contemporary program synthesis approaches, and SyGuS was first described in [1]. This paper describes concretely the input format of a SyGuS solver. [1] Rajeev Alur, Rastislav Bodik, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa. Syntax-guided synthesis. In FMCAD, pages 1--17, 2013.
citation-role summary
background 1
citation-polarity summary
fields
cs.SE 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
background 1representative citing papers
citing papers explorer
-
Leveraging LLMs for Dynamic IoT Systems Generation through Mixed-Initiative Interaction
An LLM-powered architecture for the IoT-Together paradigm interprets user goals through a three-pass dialogue and generates IoT services at runtime, evaluated in a Hyderabad tourism case study.