publication venue for Artifact: Co-zyBench: A Thermal Comfort Provision Benchmark for Smart Buildings 2024 Artifact: SmartSPEC: Customizable Smart Space Datasets via Event-driven Simulations 2022