Hugging Face Space: xcz0/lean4-eval-pipeline
Author: xcz0
SDK: docker
title: Lean4 Eval Pipeline
short_description: 测评大模型完成Lean4证明能力的管道