1 citations · 1 across the 6 of their papers we have counts for
6 papers
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,…
Reproducing the k-copwin Algorithm: Theory vs. Implementation
Meagan Mann, Christian Muise, Erin Meger
Cops and Robbers is a well-studied pursuit-evasion game that provides insights into graph theory and theoretical computing. A central question is determining the minimum number of…
Domain Design for the Cops and Robbers Problem
Connor Little, Meagan Mann, Erin Meger +1
Cops and Robbers is a well-studied problem in graph theory. The setting consists of a robber and one or more cops placed on an undirected graph. Taking turns moving throughout the…
Predicting The Cop Number Using Machine Learning
Meagan Mann, Christian Muise, Erin Meger
Cops and Robbers is a pursuit evasion game played on a graph, first introduced independently by Quilliot \cite{quilliot1978jeux} and Nowakowski and Winkler \cite{NOWAKOWSKI1983235}…
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…
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…