Toward General Mathematical Game Playing Agents | IEEE Conference Publication | IEEE Xplore