Chesani, F., Mello, P., & Milano, M. (2017). Solving Mathematical Puzzles: A Challenging Competition for AI. AI Magazine, 38(3), 83-96. https://doi.org/10.1609/aimag.v38i3.2736