可证明推理试图为模型输出提供形式化保证，而不仅是经验上的准确性。