Robot Planning via LLM Proposals and Symbolic Verification | Synapse