Algebraic World Model:From Exploration to Proofs
核对原文摘录 · 5 段，支持 6 项资料
原阅读方向 / 输出什么
effect rules also predict successor states or their components.一句话认识
An algebraic world model describes an environment through typed objects, rules, and a goal predicate, represented in executable Python and formal Lean 4输入什么
A parser maps observations, together with any required history or auxiliary information, to typed states动作是否影响预测
Rules describe how actions transform these states.材料说明的限制
richer hidden state, delayed feedback and stochastic dynamics remain to be tested.