[2604.08712] Model Space Reasoning as Search in Feedback Space for Planning Domain Generation

[2604.08712] Model Space Reasoning as Search in Feedback Space for Planning Domain Generation

arXiv - AI 3 min read

About this article

Abstract page for arXiv paper 2604.08712: Model Space Reasoning as Search in Feedback Space for Planning Domain Generation

Computer Science > Artificial Intelligence arXiv:2604.08712 (cs) [Submitted on 9 Apr 2026] Title:Model Space Reasoning as Search in Feedback Space for Planning Domain Generation Authors:James Oswald, Daniel Oblinsky, Volodymyr Varha, Vasilije Dragovic, Harsha Kokel, Kavitha Srinivas, Michael Katz, Shirin Sohrabi View a PDF of the paper titled Model Space Reasoning as Search in Feedback Space for Planning Domain Generation, by James Oswald and 7 other authors View PDF HTML (experimental) Abstract:The generation of planning domains from natural language descriptions remains an open problem even with the advent of large language models and reasoning models. Recent work suggests that while LLMs have the ability to assist with domain generation, they are still far from producing high quality domains that can be deployed in practice. To this end, we investigate the ability of an agentic language model feedback framework to generate planning domains from natural language descriptions that have been augmented with a minimal amount of symbolic information. In particular, we evaluate the quality of the generated domains under various forms of symbolic feedback, including landmarks, and output from the VAL plan validator. Using these feedback mechanisms, we experiment using heuristic search over model space to optimize domain quality. Comments: Subjects: Artificial Intelligence (cs.AI) Cite as: arXiv:2604.08712 [cs.AI]   (or arXiv:2604.08712v1 [cs.AI] for this version)   https://doi....

Originally published on April 13, 2026. Curated by AI News.

Related Articles

Llms

Transformer Math Explorer [P]

This is an interactive math reference for transformer models, presented via dataflow graphs, all the way down to elementary math. Covers ...

Reddit - Machine Learning · 1 min ·
Spotify wants to become the home for AI-generated personal audio | TechCrunch
Llms

Spotify wants to become the home for AI-generated personal audio | TechCrunch

Users will be able to create a podcast from Codex or Claude Code and import it to Spotify

TechCrunch - AI · 3 min ·
Llms

We built something ChatGPT doesn't do — AI that delivers results, not answers

Most AI gives you text. We built cards. Here's what I mean. When you ask LookMood Agent to find you a job, you don't get advice on where ...

Reddit - Artificial Intelligence · 1 min ·
Llms

I am not an "anti" like this guy, but still an interesting video of person interacting with chat 4o

(Posting Here because removed by Chatgpt Complaints moderators because the model here is 4o, and refuse to believe there were any safety ...

Reddit - Artificial Intelligence · 1 min ·
More in Llms: This Week Guide Trending

No comments

No comments yet. Be the first to comment!

Stay updated with AI News

Get the latest news, tools, and insights delivered to your inbox.

Daily or weekly digest • Unsubscribe anytime