ArXivMath and BrokenArXiv: Harder Problems and Revised Gradingmatharena.ai5 points·bluepeter··0 commentsOpen articleSaveView on HN