Spaces:

xcz0
/

lean4-eval-pipeline

Sleeping

App Files Files Community

lean4-eval-pipeline / app.py

Commit History

增强 LLM 客户端功能，支持多种推理提供方和错误处理，优化生成 Lean 代码的调用逻辑

965cabb

xcz0 commited on Dec 22, 2025

重构生成 Lean 代码的逻辑，增加提取计划和代码块的功能，并优化错误处理

c82ffa7

xcz0 commited on Dec 20, 2025

优化 LLM 客户端配置，修正生成 Lean 代码的调用方式

ba8d406

xcz0 commited on Dec 20, 2025

修正 Lean 项目初始化及 REPL 路径

cef2210

xcz0 commited on Dec 20, 2025

优化 Dockerfile 和 app.py，修正 Lean 依赖构建命令及 REPL 执行路径

3807c9d

xcz0 commited on Dec 20, 2025

Initial deployment of Lean4 evaluation pipeline

1b458f7

xcz0 commited on Dec 20, 2025