Overcoming a Learning Bottleneck in Impartial Games:
A Circuit Complexity Approach
Centre for Fundamentals of AI and Computational Theory
Queen Mary University of London
The paper text with optional explanations, formalisation notes and the full Lean sources.
The PDF is byte-identical to the reading copy (SHA-256 0439c62af7637329…).