Grounding LLMs with Symbolic Planning · HackerTrans