Automated Planning Techniques for Elementary Proofs in Abstract Algebra.

Alice Petrov Christian Muise

Published in: CoRR (2023)

Keyphrases

automated planning
goal directed
heuristic search
set theory
ai planning
planning systems
interactive storytelling
theorem prover
macro operators
search algorithm
heuristic search algorithms
probability distribution
planning domains