Eliciting Problem Specifications via Large Language Models
Not on the map. Why?
Abstract (arXiv)
Cognitive systems generally require a human to translate a problem definition into some specification that the cognitive system can use to attempt to solve the problem or perform the task. In this paper, we illustrate that large language models (LLMs) can be utilized to map a problem class, defined in natural language, into a semi-formal specification that can then be utilized by an existing reasoning and learning system to solve instances from the problem class. We present the design of LLM-enabled cognitive task analyst agent(s). Implemented with LLM agents, this system produces a definition of problem spaces for tasks specified in natural language. LLM prompts are derived from the definition of problem spaces in the AI literature and general problem-solving strategies (Polya's How to Solve It). A cognitive system can then use the problem-space specification, applying domain-general problem solving strategies ("weak methods" such as search), to solve multiple instances of problems from the problem class. This result, while preliminary, suggests the potential for speeding cognitive systems research via disintermediation of problem formulation while also retaining core capabilities of cognitive systems, such as robust inference and online learning.
Key facts. Cited by 2 papers in the map (data through 7 Oct 2026). Builds on 14 of its 45 references that are in the map. First posted on arXiv 20 May 2024.
Builds on
14 of 45 references.
References · 14
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,302
- 2022ReAct: Synergizing Reasoning and Acting in Language Modelscited by 8,355
- 2023Reflexion: Language Agents with Verbal Reinforcement Learningcited by 4,064
- 2023Tree of Thoughts: Deliberate Problem Solving with Large Language Modelscited by 3,155
- 2023A Survey on Large Language Model based Autonomous Agentscited by 2,203
- 2023Graph of Thoughts: Solving Elaborate Problems with Large Language Modelscited by 873
- 2023Large Language Models for Software Engineering: A Systematic Literature Reviewcited by 389
- 2023Language Models can Solve Computer Taskscited by 371
- 2023Tool Learning with Foundation Modelscited by 302
- 2023ReWOO: Decoupling Reasoning from Observations for Efficient Augmented Language Modelscited by 174
- 2023SatLM: Satisfiability-Aided Language Models Using Declarative Promptingcited by 100
- 2023On the Planning Abilities of Large Language Models (A Critical Investigation with a Proposed Benchmark)cited by 85
2 more
Built on by
Citing papers per year: 2025: 2.
2 papers.
Similar, not cited
Close in wording, no citation either way
- 2023Exploiting Language Models as a Source of Knowledge for Cognitive Agents
- 2026Cognitive Agent Compilation for Explicit Problem Solver Modeling
- 2026Hypothesis-guided discovery of cognitive algorithms via program refinement
- 2025From Language to Action: A Review of Large Language Models as Autonomous Agents and Tool Users
- 2025Distilling LLM Agent into Small Models with Retrieval and Code Tools
- 2026Cognitive Models and AI Algorithms Provide Templates for Designing Language Agents
- 2024Navigating Complexity: Orchestrated Problem Solving with Multi-Agent LLMs
- 2023StrategyLLM: Large Language Models as Strategy Generators, Executors, Optimizers, and Evaluators for Problem Solving