1 articles with this tag
MIT CSAIL, KAUST, and HUMAIN researchers launched MathNet, a new dataset of verified proof-based problems designed to improve AI mathematical reasoning.