反例驱动概念推理在数学LLMs

展示一个例子，已知许多概念！

数学LLM中的反例驱动概念推理