LLM Critics Help Catch Bugs in Mathematicsarxiv.org2 points·quxinxin··0 commentsOpen articleSaveView on HN