pith. sign in

arxiv: 2605.20510 · v1 · pith:6L5FVYMEnew · submitted 2026-05-19 · 💻 cs.CV · cs.AI· cs.CY

ShadeBench: A Benchmark Dataset for Building Shade Simulation in Sustainable Society

Pith reviewed 2026-05-21 06:56 UTC · model grok-4.3

classification 💻 cs.CV cs.AIcs.CY
keywords urban shadebenchmark datasetshade simulationurban heatcomputer vision3D reconstructionsatellite imagerybuilding models
0
0 comments X

The pith

ShadeBench supplies a multimodal dataset of urban scenes with simulated shade maps, satellite imagery, and 3D building models to support shade analysis tasks.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper introduces ShadeBench to fill the gap in large-scale resources for studying how buildings create shade in cities. Accurate shade modeling matters because it directly affects how hot pedestrians get and how they plan their time outdoors amid rising urban temperatures. The dataset pairs simulated shade patterns that change over time with matching satellite photos, simplified building outlines, full 3D meshes, and text descriptions across many locations. This setup lets researchers run and compare methods for generating shade predictions, identifying shaded areas in images, and reconstructing building shapes from overhead views. Standardized tests and baseline approaches are included so future work can measure progress consistently.

Core claim

ShadeBench is a comprehensive multimodal dataset and benchmark containing geographically diverse urban scenes with temporally varying simulated shade maps and textual descriptions, together with aligned satellite imagery, building skeleton representations, and 3D building meshes; it supports downstream tasks of shade generation, shade segmentation, and 3D building reconstruction while providing standardized evaluation protocols and baseline methods.

What carries the argument

ShadeBench dataset, a collection that aligns simulated shade maps with satellite imagery and 3D building data to enable joint evaluation of shade-related vision tasks.

Load-bearing premise

Computer-generated shade maps accurately reflect the real fine-scale shade cast by actual buildings on pedestrians without any direct physical measurements to check the simulations.

What would settle it

Collect on-site shade and temperature readings at multiple times of day in several cities covered by the dataset and measure how closely they match the provided simulated shade maps.

Figures

Figures reproduced from arXiv: 2605.20510 by Hua Wei, Longchao Da, Mithun Shivakoti, T Pranav Kutralingam, Xiangrui Liu, Yezhou Yang.

Figure 1
Figure 1. Figure 1: Growing risks of extreme urban heat revealed by a [PITH_FULL_IMAGE:figures/full_fig_p001_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Global coverage and hemispheric consistency of the [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Overview of the dataset construction pipeline with alignment and physically grounded solar modeling. The pipeline [PITH_FULL_IMAGE:figures/full_fig_p004_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: The design rationale of ShadeBench. 3.1 Simulation Setup Leveraging the OpenStreetMap (OSM), we retrieve metadata re￾quired for large-scale urban shade simulation. Given the geographic coordinates (latitude and longitude) of each area of interest, we extract building attributes including address, height, number of floors, and roof shape as shown in the top-left of [PITH_FULL_IMAGE:figures/full_fig_p004_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Data components contained in ShadeBench. Each dataset sample is constructed from the aligned outputs of the pipeline in [PITH_FULL_IMAGE:figures/full_fig_p005_5.png] view at source ↗
Figure 3
Figure 3. Figure 3: These aligned outputs serve as the geometric foundation [PITH_FULL_IMAGE:figures/full_fig_p005_3.png] view at source ↗
Figure 6
Figure 6. Figure 6: Performance of generative simulation under two scenario types (dense* and sparse* building cities) w.r.t. SSIM ( [PITH_FULL_IMAGE:figures/full_fig_p006_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: The two types of segmentation as designed in the [PITH_FULL_IMAGE:figures/full_fig_p007_7.png] view at source ↗
Figure 9
Figure 9. Figure 9: The example images from dense (Beijing and [PITH_FULL_IMAGE:figures/full_fig_p010_9.png] view at source ↗
Figure 11
Figure 11. Figure 11: An example case of missing buildings from the OSM map. [PITH_FULL_IMAGE:figures/full_fig_p012_11.png] view at source ↗
Figure 12
Figure 12. Figure 12: Example from ShadeBench dataset illustrating temporal shade evolution in a Northern Hemisphere urban area (Tempe, AZ, USA). The sequence shows top-down shade maps at hourly intervals, highlighting how shadow orientation and coverage change throughout the day as the solar position varies. 6:00 AM 7:00 AM 8:00 AM 9:00 AM 10:00 AM 11:00 AM 12:00 PM Time Line Time Line 18:00 PM 17:00 PM 16:00 PM 15:00 PM 14:0… view at source ↗
Figure 13
Figure 13. Figure 13: Example from [PITH_FULL_IMAGE:figures/full_fig_p012_13.png] view at source ↗
read the original abstract

Urban heat exposure is becoming an increasingly critical challenge due to the intensifying urban heat island effect. Fine-grained shade patterns, especially those induced by urban buildings, strongly influence pedestrians' thermal exposure and outdoor activity planning. However, accurately modeling and analyzing urban shade at scale remains difficult because of the lack of large-scale datasets and systematic evaluation frameworks. To address this challenge, we present ShadeBench, a comprehensive dataset and benchmark for urban shade understanding. ShadeBench contains geographically diverse urban scenes with temporally varying simulated shade maps and textual descriptions, together with aligned satellite imagery, building skeleton representations, and 3D building meshes. Built upon this multimodal dataset, ShadeBench supports a range of downstream tasks, including shade generation, shade segmentation, and 3D building reconstruction. We further establish standardized evaluation protocols and baseline methods for these tasks. By enabling scalable and fine-grained shade analysis, ShadeBench provides a foundation for data-driven urban climate research and supports future studies in heat-resilient urban planning and decision-making. The code and dataset are publicly available at https://darl-genai.github.io/shadebench/.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper presents ShadeBench, a multimodal dataset and benchmark for urban shade understanding consisting of geographically diverse urban scenes with temporally varying simulated shade maps, textual descriptions, aligned satellite imagery, building skeleton representations, and 3D building meshes. It supports downstream tasks including shade generation, shade segmentation, and 3D building reconstruction, along with standardized evaluation protocols and baseline methods. The code and dataset are released publicly.

Significance. If the simulated shade maps prove accurate, the dataset could provide a useful foundation for scalable, data-driven analysis of urban heat exposure and heat-resilient planning. The public release of code and data, together with support for multiple aligned modalities and tasks, strengthens its potential utility in computer vision and urban climate applications.

major comments (2)
  1. [Abstract and Dataset Construction] The abstract and dataset description assert that the simulated shade maps accurately represent fine-grained shade patterns induced by buildings for pedestrian thermal exposure analysis, yet no details are provided on the simulation method (ray-tracing, radiosity, or otherwise), its parameters, or any post-simulation validation against physical measurements such as pyranometer readings, time-lapse imagery, or on-site shade surveys at matching locations and timestamps. This is load-bearing for the central claim that ShadeBench supports reliable downstream tasks in urban thermal analysis.
  2. [Evaluation Protocols and Baselines] The soundness of the supported tasks (shade generation, segmentation, 3D reconstruction) depends on the fidelity of the shade maps; without reported error analysis, quantitative comparison to ground truth, or sensitivity tests for shadow boundaries and penumbra effects, systematic biases could propagate into all benchmark results and baselines.
minor comments (2)
  1. [Dataset Description] Clarify the geographic coverage, temporal sampling density, and alignment procedure between shade maps, satellite imagery, and 3D meshes to aid reproducibility.
  2. [Discussion or Conclusion] Add explicit discussion of limitations, including any assumptions in the simulation (e.g., material reflectance, atmospheric conditions) and plans for future real-world validation.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We are grateful to the referee for their constructive comments, which have helped us identify areas where the manuscript can be improved. We provide point-by-point responses to the major comments below.

read point-by-point responses
  1. Referee: [Abstract and Dataset Construction] The abstract and dataset description assert that the simulated shade maps accurately represent fine-grained shade patterns induced by buildings for pedestrian thermal exposure analysis, yet no details are provided on the simulation method (ray-tracing, radiosity, or otherwise), its parameters, or any post-simulation validation against physical measurements such as pyranometer readings, time-lapse imagery, or on-site shade surveys at matching locations and timestamps. This is load-bearing for the central claim that ShadeBench supports reliable downstream tasks in urban thermal analysis.

    Authors: We agree with the referee that additional details on the shade simulation method and its validation are necessary to support the dataset's use in urban thermal analysis. In the revised manuscript, we will expand the 'Dataset Construction' section to describe the simulation method in detail, including the use of a custom ray-tracing engine based on building 3D meshes and solar position calculations derived from timestamps. We will also specify key parameters such as the number of rays per pixel and assumed surface albedos. Regarding validation, we will include a discussion of the simulation's fidelity by referencing established literature on urban shadow modeling and provide qualitative comparisons with satellite-derived shade indicators where available. We will revise the abstract to more precisely state that the shade maps are generated via simulation to enable large-scale analysis, rather than claiming direct physical accuracy. This addresses the load-bearing concern by clarifying the dataset's scope. revision: yes

  2. Referee: [Evaluation Protocols and Baselines] The soundness of the supported tasks (shade generation, segmentation, 3D reconstruction) depends on the fidelity of the shade maps; without reported error analysis, quantitative comparison to ground truth, or sensitivity tests for shadow boundaries and penumbra effects, systematic biases could propagate into all benchmark results and baselines.

    Authors: We acknowledge this important point. The current version of the manuscript focuses on establishing the benchmark tasks and baseline performances but does not include a dedicated error analysis for the shade maps themselves. In the revision, we will add an 'Analysis of Shade Map Fidelity' subsection under Evaluation Protocols. This will include quantitative comparisons of simulated shade boundaries against manually annotated subsets and sensitivity analysis varying parameters like building height uncertainty and solar angle discretization. We believe these additions will mitigate concerns about potential biases propagating into the benchmark results. revision: yes

Circularity Check

0 steps flagged

No circularity: dataset creation is self-contained

full rationale

The paper's core contribution is the introduction of ShadeBench, a new multimodal dataset containing simulated shade maps, satellite imagery, building skeletons, 3D meshes, and textual descriptions for downstream tasks like shade generation and segmentation. No derivation chain, equations, fitted parameters, or predictions are claimed. The abstract and description focus on dataset construction and benchmarking protocols without reducing any result to prior self-citations or inputs by construction. This is a standard dataset paper with independent content.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central contribution rests on the creation and assumed fidelity of simulated shade data; the key unverified premise is the accuracy of those simulations for representing real urban conditions.

axioms (1)
  • domain assumption Simulated shade maps accurately model real-world building-induced shade patterns and their effect on thermal exposure
    This assumption underpins the dataset's value for downstream tasks but is not validated or detailed in the abstract.

pith-pipeline@v0.9.0 · 5745 in / 1314 out tokens · 53449 ms · 2026-05-21T06:56:03.815612+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

47 extracted references · 47 canonical work pages · 2 internal anchors

  1. [1]

    Rameen Abdal, Yipeng Qin, and Peter Wonka. 2019. Image2stylegan: How to embed images into the stylegan latent space?. InProceedings of the IEEE/CVF international conference on computer vision. 4432–4441

  2. [2]

    Waleed Abdalati, H Jay Zwally, Robert Bindschadler, Bea Csatho, Sinead Louise Farrell, Helen Amanda Fricker, David Harding, Ronald Kwok, Michael Lefsky, Thorsten Markus, et al. 2010. The ICESat-2 laser altimetry mission.Proc. IEEE 98, 5 (2010), 735–751

  3. [3]

    Ehsan Ahmadian, Behzad Sodagar, Chris Bingham, Amira Elnokaly, and Glen Mills. 2021. Effect of urban built form and density on building energy performance in temperate climates.Energy and Buildings236 (2021), 110762

  4. [4]

    Samaneh Azadi, Matthew Fisher, Vladimir G Kim, Zhaowen Wang, Eli Shechtman, and Trevor Darrell. 2018. Multi-content gan for few-shot font style transfer. In Proceedings of the IEEE conference on computer vision and pattern recognition. 7564–7573

  5. [5]

    Sara Beheshtifar and Romins Abdollahi. 2023. Simulation of Shading in Urban Neighborhoods Using GIS (Case study: Sanandaj, Adab neighborhood).Journal of Civil and Environmental Engineering52, 109 (2023), 49–58

  6. [6]

    Jeroen Bertels, Tom Eelbode, Maxim Berman, Dirk Vandermeulen, Frederik Maes, Raf Bisschops, and Matthew B Blaschko. 2019. Optimizing the dice score and jaccard index for medical image segmentation: Theory and practice. InMedical Image Computing and Computer Assisted Intervention–MICCAI 2019: 22nd Inter- national Conference, Shenzhen, China, October 13–17,...

  7. [7]

    Andrew Brock, Jeff Donahue, and Karen Simonyan. 2018. Large scale GAN training for high fidelity natural image synthesis.arXiv preprint arXiv:1809.11096 (2018)

  8. [8]

    Isaac Buo, Valentina Sagris, Jaak Jaagus, and Ariane Middel. 2023. High-resolution thermal exposure and shade maps for cool corridor planning.Sustainable Cities and Society93 (2023), 104499

  9. [9]

    Florinel-Alin Croitoru, Vlad Hondru, Radu Tudor Ionescu, and Mubarak Shah

  10. [10]

    Diffusion models in vision: A survey.IEEE Transactions on Pattern Analysis and Machine Intelligence45, 9 (2023), 10850–10869

  11. [11]

    Longchao Da, Rohan Chhibba, Rushabh Jaiswal, Ariane Middel, and Hua Wei

  12. [12]

    InProceedings of the 33rd ACM International Conference on Information and Knowledge Management

    Shaded Route Planning Using Active Segmentation and Identification of Satellite Images. InProceedings of the 33rd ACM International Conference on Information and Knowledge Management. 5205–5209

  13. [13]

    Longchao Da, Xiangrui Liu, Mithun Shivakoti, Thirulogasankar Pranav Ku- tralingam, Yezhou Yang, and Hua Wei. 2025. Deepshade: Enable shade simulation by text-conditioned image generation.arXiv preprint arXiv:2507.12103(2025)

  14. [14]

    Prafulla Dhariwal and Alexander Nichol. 2021. Diffusion models beat gans on image synthesis.Advances in neural information processing systems34 (2021), 8780–8794. ShadeBench: A Benchmark Dataset for Building Shade Simulation in Sustainable Society Conference acronym ’XX, June 03–05, 2018, Woodstock, NY

  15. [15]

    Yuhao Du, Yuncheng Jiang, Shuangyi Tan, Xusheng Wu, Qi Dou, Zhen Li, Guan- bin Li, and Xiang Wan. 2023. ArSDM: colonoscopy images synthesis with adap- tive refinement semantic diffusion models. InInternational conference on medical image computing and computer-assisted intervention. Springer, 339–349

  16. [16]

    Sara Ghazanfari, Siddharth Garg, Prashanth Krishnamurthy, Farshad Khorrami, and Alexandre Araujo. 2023. R-LPIPS: An adversarially robust perceptual simi- larity metric.arXiv preprint arXiv:2307.15157(2023)

  17. [17]

    Michael Gschwandtner, Roland Kwitt, Andreas Uhl, and Wolfgang Pree. 2011. BlenSor: Blender sensor simulation toolbox. InAdvances in Visual Computing: 7th International Symposium, ISVC 2011, Las Vegas, NV, USA, September 26-28,

  18. [18]

    Springer, 199–208

    Proceedings, Part II 7. Springer, 199–208

  19. [19]

    Fei Guo, Ruonan Guo, Hongchi Zhang, Jing Dong, and Jun Zhao. 2023. A canopy shading-based approach to heat exposure risk mitigation in small squares.Urban Climate49 (2023), 101495

  20. [20]

    Harsh G Kamath, Manmeet Singh, Neetiraj Malviya, Alberto Martilli, Liu He, Daniel Aliaga, Cenlin He, Fei Chen, Lori A Magruder, Zong-Liang Yang, et al

  21. [21]

    GLObal Building heights for Urban Studies (UT-GLOBUS) for city-and street-scale urban simulations: Development and first applications.Scientific Data11, 1 (2024), 886

  22. [22]

    Alexander Kirillov, Eric Mintun, Nikhila Ravi, Hanzi Mao, Chloe Rolland, Laura Gustafson, Tete Xiao, Spencer Whitehead, Alexander C Berg, Wan-Yen Lo, et al

  23. [23]

    InProceedings of the IEEE/CVF international conference on computer vision

    Segment anything. InProceedings of the IEEE/CVF international conference on computer vision. 4015–4026

  24. [24]

    Xuecao Li, Yuyu Zhou, Peng Gong, Karen C Seto, and Nicholas Clinton. 2020. Developing a method to estimate building height from Sentinel-1 data.Remote Sensing of Environment240 (2020), 111705

  25. [25]

    Fredrik Lindberg, Björn Holmer, and Sofia Thorsson. 2008. SOLWEIG 1.0– Modelling spatial variations of 3D radiant fluxes and mean radiant temperature in complex urban settings.International journal of biometeorology52 (2008), 697–713

  26. [26]

    K Ma. 2018. Parasol Navigation: Optimizing walking routes to keep you in the sun or shade.Parasol Navigation: Optimizing walking routes to keep you in the sun or shade(2018)

  27. [27]

    Johnas Omanwa Maranga, Justine John Nnko, and Shengwu Xiong. 2025. Learned active contours via transformer-based deep convolutional neural network using canny edge detection algorithm.Signal, Image and Video Processing19, 3 (2025), 222

  28. [28]

    Gerald A Meehl and Claudia Tebaldi. 2004. More intense, more frequent, and longer lasting heat waves in the 21st century.Science305, 5686 (2004), 994–997

  29. [29]

    Vicky Mudeng, Minseok Kim, and Se-woon Choe. 2022. Prospects of structural similarity index for medical image analysis.Applied Sciences12, 8 (2022), 3754

  30. [30]

    NIEHS. 2022. Heat and Health Impacts of Climate Change. https://www.niehs.nih. gov/research/programs/climatechange/health_impacts/heat Accessed: February 1, 2025

  31. [31]

    Yujin Park, Qunshan Zhao, Jean-Michel Guldmann, and Elizabeth A Wentz. 2023. Quantifying the cumulative cooling effects of 3D building and tree shade with high resolution thermal imagery in a hot arid urban climate.Landscape and Urban Planning240 (2023), 104874

  32. [32]

    Yusu Qian, Eli Bocek-Rivele, Liangchen Song, Jialing Tong, Yinfei Yang, Jiasen Lu, Wenze Hu, and Zhe Gan. 2025. Pico-banana-400k: A large-scale dataset for text-guided image editing.arXiv preprint arXiv:2510.19808(2025)

  33. [33]

    Nikhila Ravi, Valentin Gabeur, Yuan-Ting Hu, Ronghang Hu, Chaitanya Ryali, Tengyu Ma, Haitham Khedr, Roman Rädle, Chloe Rolland, Laura Gustafson, Eric Mintun, Junting Pan, Kalyan Vasudev Alwala, Nicolas Carion, Chao-Yuan Wu, Ross Girshick, Piotr Dollár, and Christoph Feichtenhofer. 2024. SAM 2: Segment Anything in Images and Videos.arXiv preprint arXiv:24...

  34. [34]

    Ibrahim Reda and Afshin Andreas. 2004. Solar position algorithm for solar radiation applications.Solar energy76, 5 (2004), 577–589

  35. [35]

    Hannah Ritchie. 2024. How many people die from extreme temperatures, and how this could change in the future: Part two.Our World in Data (2024). https://ourworldindata.org/part-two-how-many-people-die-from- extreme-temperatures-and-how-could-this-change-in-the-future

  36. [36]

    Robin Rombach, Andreas Blattmann, Dominik Lorenz, Patrick Esser, and Björn Ommer. 2022. High-resolution image synthesis with latent diffusion models. In Proceedings of the IEEE/CVF conference on computer vision and pattern recognition. 10684–10695

  37. [37]

    Fabian D Schneider, António Ferraz, Steven Hancock, Laura I Duncanson, Ralph O Dubayah, Ryan P Pavlick, and David S Schimel. 2020. Towards mapping the diversity of canopy structure from space with GEDI.Environmental Research Letters15, 11 (2020), 115006

  38. [38]

    Qi Zhao Shanshan Li. 2021. World’s largest study of global climate related mortality links 5 million deaths a year to abnormal temperatures. (2021)

  39. [39]

    Rafi Ibn Sultan, Chengyin Li, Hui Zhu, Prashant Khanduri, Marco Brocanelli, and Dongxiao Zhu. 2023. GeoSAM: Fine-tuning SAM with sparse and dense visual prompting for automated segmentation of mobility infrastructure.arXiv preprint arXiv:2311.11319(2023)

  40. [40]

    Floris Van Beers, Arvid Lindström, Emmanuel Okafor, and Marco Wiering. 2019. Deep neural networks with intersection over union loss for binary image seg- mentation. InProceedings of the 8th international conference on pattern recognition applications and methods. SciTePress, 438–445

  41. [41]

    Stefan Wess, Klaus-Dieter Althoff, and Guido Derwand. 1994. Using k-d trees to improve the retrieval step in case-based reasoning. InTopics in Case-Based Rea- soning: First European Workshop, EWCBR-93 Kaiserslautern, Germany, November 1–5, 1993 Selected Papers 1. Springer, 167–181

  42. [42]

    Jiansheng Wu, Si Li, Nan Shen, Yuhao Zhao, and Hongyi Cui. 2020. Construction of cooling corridors with multiscenarios on urban scale: A case study of Shenzhen. Sustainability12, 15 (2020), 5903

  43. [43]

    Tong Wu, Liang Pan, Junzhe Zhang, Tai Wang, Ziwei Liu, and Dahua Lin. [n. d.]. Supplementary Material: Density-aware Chamfer Distance as a Comprehensive Metric for Point Cloud Completion. ([n. d.])

  44. [44]

    Ling Yang, Zhilong Zhang, Yang Song, Shenda Hong, Runsheng Xu, Yue Zhao, Wentao Zhang, Bin Cui, and Ming-Hsuan Yang. 2023. Diffusion models: A comprehensive survey of methods and applications.ACM computing surveys56, 4 (2023), 1–39

  45. [45]

    Lvmin Zhang, Anyi Rao, and Maneesh Agrawala. 2023. Adding conditional con- trol to text-to-image diffusion models. InProceedings of the IEEE/CVF international conference on computer vision. 3836–3847

  46. [46]

    Shihao Zhao, Dongdong Chen, Yen-Chun Chen, Jianmin Bao, Shaozhe Hao, Lu Yuan, and Kwan-Yee K Wong. 2024. Uni-controlnet: All-in-one control to text-to- image diffusion models.Advances in Neural Information Processing Systems36 (2024)

  47. [47]

    Theodore Zhao, Yu Gu, Jianwei Yang, Naoto Usuyama, Ho Hin Lee, Sid Kiblawi, Tristan Naumann, Jianfeng Gao, Angela Crabtree, Jacob Abel, et al . 2024. A foundation model for joint segmentation, detection and recognition of biomedical objects across nine modalities.Nature methods(2024), 1–11. Conference acronym ’XX, June 03–05, 2018, Woodstock, NY Longchao ...