ThermoLLM uses a physics-informed spatial-semantic knowledge graph with LLMs for HVAC control in a five-zone EnergyPlus simulation and reports the best energy-comfort trade-off plus lowest PMV violations among tested methods.
In: 2023 IEEE Smart World Congress (SWC), pp
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Evidence-based taxonomy of security properties with first-order logic definitions and ProVerif/Tamarin executable examples derived from a 2022-2025 literature review of 53 studies.
citing papers explorer
-
ThermoLLM: Thermodynamics-Aware HVAC Control with Spatial-Semantic Knowledge Graph
ThermoLLM uses a physics-informed spatial-semantic knowledge graph with LLMs for HVAC control in a five-zone EnergyPlus simulation and reports the best energy-comfort trade-off plus lowest PMV violations among tested methods.
-
Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin
Evidence-based taxonomy of security properties with first-order logic definitions and ProVerif/Tamarin executable examples derived from a 2022-2025 literature review of 53 studies.