Use theorem provers to ensure the correctness of your LLM's reasoning
5 months ago
- #Z3 theorem proving
- #Python API
- #LLM
- 展示了基于LLM（大语言模型）结合Z3定理证明器的推理方法
- 该系统包含高层API（`z3dsl.reasoning`）用于简易Python接口任务，以及底层DSL（`z3dsl`）支持基于JSON的Z3定理证明器交互
- 典型用法包括通过`ProofOfThought`进行查询，并使用`EvaluationPipeline`评估结果
- 安装需依赖`z3-solver`、`openai`、`scikit-learn`和`numpy`库
- 建议大多数用户优先使用高层API
- 完整示例（含Azure OpenAI支持）可在`examples/`目录中查看