arXiv AI By Connor Little, Christian Muise

Logical Regression for Planning with Axioms

Read the original on arXiv AI →

arXiv:2607. 21414v1 Announce Type: new Abstract: In automated planning, logical regression is an operation that returns the most general condition necessary for an action to achieve a particular formula.

Summary generated by The Flow from the publisher's feed. The full article lives at arXiv AI.

arXiv AI
Jun 10

Fact-Augmented Lookahead Planning for LLM Agents

arXiv:2506. 09171v2 Announce Type: replace-cross Abstract: Large Language Models (LLMs) are increasingly capable, but LLM agents still struggle to plan effectively in interactive, partially observable, long-horizon environments when search is unguided or recent history is insufficient.

By Samuel Holt, Max Ruiz Luyten, Thomas Pouplin, Mihaela van der Schaar