SayCanPay: Heuristic Planning with Large Language Models using Learnable Domain Knowledge
Fuente:
arXiv
Saved in:
| Main Authors: | Hazra, Rishi, Martires, Pedro Zuidberg Dos, De Raedt, Luc |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Can Large Language Models Reason? A Characterization via 3-SAT
by: Hazra, Rishi, et al.
Published: (2024)
by: Hazra, Rishi, et al.
Published: (2024)
LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language
by: Mantenoglou, Periklis, et al.
Published: (2025)
by: Mantenoglou, Periklis, et al.
Published: (2025)
Have Large Language Models Learned to Reason? A Characterization via 3-SAT Phase Transition
by: Hazra, Rishi, et al.
Published: (2025)
by: Hazra, Rishi, et al.
Published: (2025)
Declarative Probabilistic Logic Programming in Discrete-Continuous Domains
by: Martires, Pedro Zuidberg Dos, et al.
Published: (2023)
by: Martires, Pedro Zuidberg Dos, et al.
Published: (2023)
REvolve: Reward Evolution with Large Language Models using Human Feedback
by: Hazra, Rishi, et al.
Published: (2024)
by: Hazra, Rishi, et al.
Published: (2024)
Semirings for Probabilistic and Neuro-Symbolic Logic Programming
by: Derkinderen, Vincent, et al.
Published: (2024)
by: Derkinderen, Vincent, et al.
Published: (2024)
COvolve: Adversarial Co-Evolution of Large-Language-Model-Generated Policies and Environments via Two-Player Zero-Sum Game
by: Sygkounas, Alkis, et al.
Published: (2026)
by: Sygkounas, Alkis, et al.
Published: (2026)
A Quantum Information Theoretic Approach to Tractable Probabilistic Models
by: Martires, Pedro Zuidberg Dos
Published: (2025)
by: Martires, Pedro Zuidberg Dos
Published: (2025)
Neurosymbolic Decision Trees
by: Möller, Matthias, et al.
Published: (2025)
by: Möller, Matthias, et al.
Published: (2025)
Probabilistic Neural Circuits
by: Martires, Pedro Zuidberg Dos
Published: (2024)
by: Martires, Pedro Zuidberg Dos
Published: (2024)
Independence Is Not an Issue in Neurosymbolic AI
by: Faronius, Håkan Karlsson, et al.
Published: (2025)
by: Faronius, Håkan Karlsson, et al.
Published: (2025)
A Fast Convoluted Story: Scaling Probabilistic Inference for Integer Arithmetic
by: De Smet, Lennert, et al.
Published: (2024)
by: De Smet, Lennert, et al.
Published: (2024)
Two Constraint Compilation Methods for Lifted Planning
by: Mantenoglou, Periklis, et al.
Published: (2025)
by: Mantenoglou, Periklis, et al.
Published: (2025)
Automated Reasoning in Systems Biology: a Necessity for Precision Medicine
by: Martires, Pedro Zuidberg Dos, et al.
Published: (2024)
by: Martires, Pedro Zuidberg Dos, et al.
Published: (2024)
APC-RL: Exceeding Data-Driven Behavior Priors with Adaptive Policy Composition
by: Rietz, Finn, et al.
Published: (2026)
by: Rietz, Finn, et al.
Published: (2026)
The Gradient of Algebraic Model Counting
by: Maene, Jaron, et al.
Published: (2025)
by: Maene, Jaron, et al.
Published: (2025)
Defining neurosymbolic AI
by: De Smet, Lennert, et al.
Published: (2025)
by: De Smet, Lennert, et al.
Published: (2025)
KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI
by: Maene, Jaron, et al.
Published: (2024)
by: Maene, Jaron, et al.
Published: (2024)
Planning of Heuristics: Strategic Planning on Large Language Models with Monte Carlo Tree Search for Automating Heuristic Optimization
by: Wang, Hui, et al.
Published: (2025)
by: Wang, Hui, et al.
Published: (2025)
CLEVR-POC: Reasoning-Intensive Visual Question Answering in Partially Observable Environments
by: Abraham, Savitha Sam, et al.
Published: (2024)
by: Abraham, Savitha Sam, et al.
Published: (2024)
Relational Neurosymbolic Markov Models
by: De Smet, Lennert, et al.
Published: (2024)
by: De Smet, Lennert, et al.
Published: (2024)
Valid Text-to-SQL Generation with Unification-based DeepStochLog
by: Jiao, Ying, et al.
Published: (2025)
by: Jiao, Ying, et al.
Published: (2025)
NeSyA: Neurosymbolic Automata
by: Manginas, Nikolaos, et al.
Published: (2024)
by: Manginas, Nikolaos, et al.
Published: (2024)
Does the Model Say What the Data Says? A Simple Heuristic for Model Data Alignment
by: Salgado, Henry, et al.
Published: (2025)
by: Salgado, Henry, et al.
Published: (2025)
From Statistical Relational to Neurosymbolic Artificial Intelligence: a Survey
by: Marra, Giuseppe, et al.
Published: (2021)
by: Marra, Giuseppe, et al.
Published: (2021)
HBTP: Heuristic Behavior Tree Planning with Large Language Model Reasoning
by: Cai, Yishuai, et al.
Published: (2024)
by: Cai, Yishuai, et al.
Published: (2024)
SayNav: Grounding Large Language Models for Dynamic Planning to Navigation in New Environments
by: Rajvanshi, Abhinav, et al.
Published: (2023)
by: Rajvanshi, Abhinav, et al.
Published: (2023)
Learning Domain-Independent Heuristics for Grounded and Lifted Planning
by: Chen, Dillon Z., et al.
Published: (2023)
by: Chen, Dillon Z., et al.
Published: (2023)
EXPLAIN, AGREE, LEARN: Scaling Learning for Neural Probabilistic Logic
by: Verreet, Victor, et al.
Published: (2024)
by: Verreet, Victor, et al.
Published: (2024)
Personalized Medication Planning via Direct Domain Modeling and LLM-Generated Heuristics
by: Vernik, Yonatan, et al.
Published: (2026)
by: Vernik, Yonatan, et al.
Published: (2026)
DeepGraphLog for Layered Neurosymbolic AI
by: Kikaj, Adem, et al.
Published: (2025)
by: Kikaj, Adem, et al.
Published: (2025)
LLM-Evolved Domain-Independent Heuristics for Symbolic AI Planning
by: Gestrin, Elliot, et al.
Published: (2026)
by: Gestrin, Elliot, et al.
Published: (2026)
Exploiting Symbolic Heuristics for the Synthesis of Domain-Specific Temporal Planning Guidance using Reinforcement Learning
by: Brugnara, Irene, et al.
Published: (2025)
by: Brugnara, Irene, et al.
Published: (2025)
LLM+MAP: Bimanual Robot Task Planning using Large Language Models and Planning Domain Definition Language
by: Chu, Kun, et al.
Published: (2025)
by: Chu, Kun, et al.
Published: (2025)
Large Language Models as Planning Domain Generators
by: Oswald, James, et al.
Published: (2024)
by: Oswald, James, et al.
Published: (2024)
Can Large Language Models Bridge the Gap in Environmental Knowledge?
by: Smail, Linda, et al.
Published: (2025)
by: Smail, Linda, et al.
Published: (2025)
SGSH: Stimulate Large Language Models with Skeleton Heuristics for Knowledge Base Question Generation
by: Guo, Shasha, et al.
Published: (2024)
by: Guo, Shasha, et al.
Published: (2024)
The Model Says Walk: How Surface Heuristics Override Implicit Constraints in LLM Reasoning
by: Li, Yubo, et al.
Published: (2026)
by: Li, Yubo, et al.
Published: (2026)
LLM-A*: Large Language Model Enhanced Incremental Heuristic Search on Path Planning
by: Meng, Silin, et al.
Published: (2024)
by: Meng, Silin, et al.
Published: (2024)
Can Large Language Models Reason and Plan?
by: Kambhampati, Subbarao
Published: (2024)
by: Kambhampati, Subbarao
Published: (2024)
Similar Items
-
Can Large Language Models Reason? A Characterization via 3-SAT
by: Hazra, Rishi, et al.
Published: (2024) -
LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language
by: Mantenoglou, Periklis, et al.
Published: (2025) -
Have Large Language Models Learned to Reason? A Characterization via 3-SAT Phase Transition
by: Hazra, Rishi, et al.
Published: (2025) -
Declarative Probabilistic Logic Programming in Discrete-Continuous Domains
by: Martires, Pedro Zuidberg Dos, et al.
Published: (2023) -
REvolve: Reward Evolution with Large Language Models using Human Feedback
by: Hazra, Rishi, et al.
Published: (2024)