Geometry Problem Solving Based on Counter-Factual Evolutionary Reasoning | IEEE Conference Publication | IEEE Xplore