Planning Anything with Rigor: General-Purpose Zero-Shot Planning with LLM-based Formalized Programming - Hao, Yilun; Zhang, Yang; Fan, Chuchu (International Conference on Learning Representations, 2025)