MIT Hardness Group, Hayashi Ani, Erik D. Demaine, Holden Hall, Ricardo Ruiz, Naveen Venkat: You Can't Solve These Super Mario Bros. Levels: Undecidable Mario Games. FUN 2024: 22:1-22:20