Commits · xcz0/lean4-eval-pipeline

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

965cabb

Running

xcz0 commited on 27 days ago

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

c82ffa7

xcz0 commited on 29 days ago

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

ba8d406

xcz0 commited on 29 days ago

调整 mathlib 预编译缓存下载和构建顺序

83272ff

xcz0 commited on 29 days ago

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

cef2210

xcz0 commited on 29 days ago

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

3807c9d

xcz0 commited on 29 days ago

更新 Dockerfile，移除 lakefile.lean 并统一使用 TOML 配置依赖

2342b0d

xcz0 commited on 29 days ago

优化 Dockerfile，修复 Python 依赖安装方式并调整系统依赖

0ac0929

xcz0 commited on 29 days ago

优化 Dockerfile，调整 lean4-repl 工具的构建方式并添加 .dockerignore 文件

98593a4

xcz0 commited on 29 days ago

修复 Dockerfile 中的 COPY 命令格式错误

d00a1db

xcz0 commited on 29 days ago

Initial deployment of Lean4 evaluation pipeline

1b458f7

xcz0 commited on 29 days ago

initial commit

dcbd781
verified

xcz0 commited on 29 days ago

Spaces:

xcz0
/

lean4-eval-pipeline

Running

Commit History

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

965cabb

Running

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

c82ffa7

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

ba8d406

调整 mathlib 预编译缓存下载和构建顺序

83272ff

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

cef2210

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

3807c9d

更新 Dockerfile，移除 lakefile.lean 并统一使用 TOML 配置依赖

2342b0d

优化 Dockerfile，修复 Python 依赖安装方式并调整系统依赖

0ac0929

优化 Dockerfile，调整 lean4-repl 工具的构建方式并添加 .dockerignore 文件

98593a4

修复 Dockerfile 中的 COPY 命令格式错误

d00a1db

Initial deployment of Lean4 evaluation pipeline

1b458f7

initial commit

dcbd781
verified

Commit History

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

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

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

调整 mathlib 预编译缓存下载和构建顺序 83272ff

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

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

更新 Dockerfile，移除 lakefile.lean 并统一使用 TOML 配置依赖 2342b0d

优化 Dockerfile，修复 Python 依赖安装方式并调整系统依赖 0ac0929

优化 Dockerfile，调整 lean4-repl 工具的构建方式并添加 .dockerignore 文件 98593a4

修复 Dockerfile 中的 COPY 命令格式错误 d00a1db

Initial deployment of Lean4 evaluation pipeline 1b458f7

initial commit dcbd781 verified

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

965cabb

Running

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

c82ffa7

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

ba8d406

调整 mathlib 预编译缓存下载和构建顺序

83272ff

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

cef2210

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

3807c9d

更新 Dockerfile，移除 lakefile.lean 并统一使用 TOML 配置依赖

2342b0d

优化 Dockerfile，修复 Python 依赖安装方式并调整系统依赖

0ac0929

优化 Dockerfile，调整 lean4-repl 工具的构建方式并添加 .dockerignore 文件

98593a4

修复 Dockerfile 中的 COPY 命令格式错误

d00a1db

Initial deployment of Lean4 evaluation pipeline

1b458f7

initial commit

dcbd781
verified