Skip to content

Author

Anonymous Authors

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#large language models Open access Sep 2026

Artifacts of "Grounding Large Language Models in a Formal Symbolic Environment for Natural-Language Planning"

Experimental results for the paper "Grounding Large Language Models in a Symbolic Formalization Environment for Natural-Language Planning". The archive contains the results of 5,100 formalization sessions. Qwen 3.5 (122B) and GPT-OSS (120B) each formalized the 2,550 Blocksworld, Logistics and Rovers problems of the ben...

Anonymous Authors · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.