A Direct Approximation of AIXI Using Logical State Abstractions - Yang-Zhao, Samuel; Wang, Tianyu; Ng, Kee Siong (Advances in Neural Information Processing Systems, 2022)