Solving pathfinding problems in an explainable manner with deep learning, reinforcement learning, heuristic search, and logic
Learning Discrete World Models for Heuristic Search
