symbolic-belief-state

PatchWorld 引入了一种免梯度框架，通过反例引导的代码修复，将离线轨迹转换为可执行的 Python 世界模型，从而为部分可观测环境中的规划提供可解释和可检查的信念状态程序。