Lean related - a pkuAI4M Collection

Models
Datasets
Spaces
Docs
Enterprise
免费去水印
Log In
Sign Up

pkuAI4M 's Collections

Informal Statements

Informal-Formal

Lean related

updated Sep 2, 2024

l3lab/ntp-mathlib-instruct-st

Viewer • Updated Sep 6, 2024 • 307k • 28
casey-martin/multilingual-mathematical-autoformalization

Viewer • Updated Dec 2, 2023 • 666k • 28 • 4
elohn/miniCodeProps

Updated Aug 19, 2024 • 87 • 2
allanjie/mma

Viewer • Updated Aug 9, 2024 • 333k • 13
deepseek-ai/DeepSeek-Prover-V1

Viewer • Updated Sep 12, 2024 • 27.5k • 91 • 70

Collection guide
Browse collections

Company

TOS Privacy About Careers

Website

Models Datasets 免费Z-image图片生成免费去水印 Vibevoice

🎉 Free Image Generator Now Available!

Totally Free + Zero Barriers + No Login Required