news

May 20, 2025	New preprint on zero-shot iterative formalization and planning