Evaluation of the Urban Forest Development Effectiveness in Chinese Cities: A Causal Inference Approach Based on Double Machine Learning | Synapse