Machine Solving on Hypergeometric Distribution Problems. - Chao Sun; Yao Su 004; Xinguo Yu (PSIVT Workshops, 2017)