TY - RPRT TI - BEATS: Optimizing LLM Mathematical Capabilities with BackVerify and Adaptive Disambiguate based Efficient Tree Search AU - Linzhuang Sun AU - Hao Liang AU - Jingxuan Wei AU - Bihui Yu AU - Conghui He AU - Zenan Zhou AU - Wentao Zhang PY - 2024 UR - https://arxiv.org/abs/2409.17972 ID - 2409.17972 ER -