Zero-Shot Iterative Formalization and Planning in Partially Observable Environments. - Liancheng Gong; Wang Zhu 001; Jesse Thomason; Li Zhang (CoRR, 2025)