Pinned
Ever wonder if LLMs use tools🛠️ the way we ask them?
We explore LLMs using classical planners: are they writing *correct* PDDL (planning) problems?
Say hi👋 to Planetarium🪐, a benchmark of 132k natural language & PDDL problems.
📜 Preprint: arxiv.org/abs/2407.03321
🧵1/n
