ProRAC: A Neuro-symbolic Method for Reasoning about Actions with LLM-based Progression

Open in new window