标签：自动定理证明

一个结合大型语言模型（LLMs）和形式化定理证明能力的强大逻辑推理系统，用于自动推理和逻辑验证。