Measurement of the Public Activity Richness of Urban Park Based on Large Language Models and Social Media Data: A Case Study of Shanghai