Towards improved theoretical problems for autonomous discovery | IEEE Conference Publication | IEEE Xplore