Tag: A team of Apple researchers has questioned the formal reasoning capabilities of large language models (LLMs)

A team of Apple researchers has questioned the formal reasoning capabilities of large language models (LLMs), particularly in mathematics.