TY  - RPRT
TI  - Algebraic World Model: From Exploration to Proofs
AU  - Guancheng Pan
AU  - Qixin Tan
AU  - Yang Yuan
AU  - Andrew Chi-Chih Yao
PY  - 2026
UR  - https://arxiv.org/abs/2610.40503
ID  - 2610.40503
ER  -