GSM-symbolic: Understanding the limitations of mathematical reasoning in large language models
Recent advances in large language models (LLMs) have sparked interest in their formal reasoning capabilities, particularly in mathematics. The GSM8K ...
Recent advances in large language models (LLMs) have sparked interest in their formal reasoning capabilities, particularly in mathematics. The GSM8K ...
