1 citations · 1 across the 6 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2026
Logical Regression for Planning with Axioms
Connor Little, Christian Muise
In automated planning, logical regression is an operation that returns the most general condition necessary for an action to achieve a particular formula. It has many applications,…
cs.AI2025
LLMs as Planning Formalizers: A Survey for Leveraging Large Language Models to Construct Automated Planning Models
Marcus Tantakoun, Xiaodan Zhu, Christian Muise
Large Language Models (LLMs) excel in various natural language tasks but often struggle with long-horizon planning problems requiring structured reasoning. This limitation has draw…
cs.AI2023★ 1 cited
Automated Planning Techniques for Elementary Proofs in Abstract Algebra
Alice Petrov, Christian Muise
This paper explores the application of automated planning to automated theorem proving, which is a branch of automated reasoning concerned with the development of algorithms and co…