TY - RPRT TI - LLM Critics Help Catch Bugs in Mathematics: Towards a Better Mathematical Verifier with Natural Language Feedback AU - Bofei Gao AU - Zefan Cai AU - Runxin Xu AU - Peiyi Wang AU - Ce Zheng AU - Runji Lin AU - Keming Lu AU - Dayiheng Liu AU - Chang Zhou AU - Wen Xiao AU - Junjie Hu AU - Tianyu Liu AU - Baobao Chang PY - 2024 UR - https://arxiv.org/abs/2406.14024 ID - 2406.14024 ER -