Lean related - a pkuAI4M Collection

Models
Datasets
Spaces
Docs
Enterprise
Pricing
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 • 69
casey-martin/multilingual-mathematical-autoformalization

Viewer • Updated Dec 2, 2023 • 666k • 283 • 3
elohn/miniCodeProps

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

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

Viewer • Updated Sep 12, 2024 • 27.5k • 182 • 68

Collection guide
Browse collections

Company

TOS Privacy About Jobs

Website

Models Datasets Spaces Pricing Docs