1 paper · 2 filters
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…