Currently on Hold / Previous and Future Research

These are good research topics for me, but no one in my group is actively working on these topics right now. If you have an interest in one of those topics, please talk to me.

SAT Solving and Exploration

Md Solimul Chowdhury, Jia-Huai You, Martin Müller.

You can find publications, talks, and code on Solimul's homepage.

Leela Chess Zero learning in chess endgames

Rejwana Haque, Ting-han Wei, Martin Müller.

Leela Chess Zero (Lc0) is one of the strongest AlphaZero type open-source chess programs. To evaluate how well current AlphaZero type architectures learn and play late chess endgames, we perform a systematic analysis of Lc0's decisions for three, four, and five piece endgames. In addition to statistical results, we also present interesting case studies.

This project was part of research theme 3.

R. Haque. On the Road to Perfection? Evaluating LeelaChess Zero Against Endgame Tablebases. MSc thesis, University of Alberta, 2021.

R. Haque, T.-h. Wei and M. Müller. On the Road to Perfection? Evaluating LeelaChess Zero Against Endgame Tablebases. Accepted for Advances in Computer Games (ACG 2021).


Last modified: Apr 10, 2022

Martin Müller