@misc{indiciaefef511180501, title = {You Can't Solve These Super Mario Bros. Levels: Undecidable Mario Games}, author = {MIT Hardness Group and Erik D. Demaine and Lilly Hall and Hayashi Layers and Ricardo Ruiz and Naveen Venkat}, year = {2026}, url = {https://arxiv.org/abs/2405.10546}, note = {Source identifier: 2405.10546} }