Dingwen Yang, Zhiheng Xi, Jiafu Tang, Jixuan Huang: MathCritique-76k. IEEE DataPort 2025