Robot Planning via LLM Proposals and Symbolic Verification. - Drejc Pesjak; Jure Zabkar (Mach. Learn. Knowl. Extr., 2025)