open_formal_datasets - a AI4M Collection

Models
Datasets
Spaces
Buckets new
Docs
Enterprise
Pricing
- Website
- Community
- Solutions
Log In
Sign Up

AI4M 's Collections

open_autoformalization_hf_datasets

open_formal_datasets

open_formal_datasets

updated May 17, 2024

tasksource/leandojo

Viewer • Updated Jun 28, 2023 • 91.8k • 103 • 8
l3lab/ntp-mathlib-instruct-context

Viewer • Updated Sep 6, 2024 • 614k • 49 • 1
l3lab/ntp-mathlib-instruct-st

Viewer • Updated Sep 6, 2024 • 307k • 45
l3lab/ntp-mathlib

Viewer • Updated Sep 6, 2024 • 213k • 116 • 2

Collection guide
Browse collections

Company

TOS Privacy About Careers

Website

Models Datasets Spaces Pricing Docs