Lean related - a pkuAI4M Collection

Models
Datasets
Spaces
Buckets new
Docs
Enterprise
Pricing
- Website
- Community
- Solutions
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 • 76
casey-martin/multilingual-mathematical-autoformalization

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

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

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

Viewer • Updated Sep 12, 2024 • 27.5k • 1.25k • 73

Collection guide
Browse collections

Company

TOS Privacy About Careers

Website

Models Datasets Spaces Pricing Docs