Running
Lean4 Eval Pipeline
👀
测评大模型完成Lean4证明能力的管道
肖程哲
xcz0
·
AI & ML interests
None yet
Recent Activity
updated
a Space
27 days ago
xcz0/lean4-eval-pipeline
published
a Space
29 days ago
xcz0/lean4-eval-pipeline
liked
a dataset
6 months ago
yuhuanstudio/poem-pretrain-chinese-zhtw
Organizations
None yet