1 paper · 1 filter
Ian Berlot-Attwell, Frank Rudzicz, Xujie Si
Advances in Large Language Models (LLMs) have spurred a wave of LLM library learning systems for mathematical reasoning. These systems aim to learn a reusable library of tools, suc…