1 paper · 1 filter
Tung Duong Ta, Tim Oates, Thien Van Luong +2
Despite advances in mathematical reasoning capabilities, Large Language Models (LLMs) still struggle with calculation verification when using established prompting techniques. We p…