Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Spaces:
xcz0
/
lean4-eval-pipeline
like
0
Running
App
Files
Files
Community
Fetching metadata from the HF Docker repository...
main
lean4-eval-pipeline
14.6 kB
1 contributor
History:
12 commits
xcz0
增强 LLM 客户端功能，支持多种推理提供方和错误处理，优化生成 Lean 代码的调用逻辑
965cabb
27 days ago
.vscode
Initial deployment of Lean4 evaluation pipeline
29 days ago
.dockerignore
44 Bytes
优化 Dockerfile，调整 lean4-repl 工具的构建方式并添加 .dockerignore 文件
29 days ago
.gitattributes
1.52 kB
initial commit
29 days ago
Dockerfile
1.19 kB
调整 mathlib 预编译缓存下载和构建顺序
28 days ago
README.md
2.43 kB
增强 LLM 客户端功能，支持多种推理提供方和错误处理，优化生成 Lean 代码的调用逻辑
27 days ago
app.py
9.11 kB
增强 LLM 客户端功能，支持多种推理提供方和错误处理，优化生成 Lean 代码的调用逻辑
27 days ago
lean-toolchain
24 Bytes
Initial deployment of Lean4 evaluation pipeline
29 days ago
requirements.txt
65 Bytes
Initial deployment of Lean4 evaluation pipeline
29 days ago
