Auto-Formalization - a JasinJiang Collection

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

JasinJiang 's Collections

Auto-Formalization

Auto-Formalization

updated Dec 2, 2024

RickyDeSkywalker/OpenBootstrappedTheorem

Viewer • Updated Jul 12, 2024 • 107k • 14 • 12
RickyDeSkywalker/TheoremLlama

Text Generation • 8B • Updated Aug 4, 2025 • 2 • 7
ibm-research/ColD-Fusion

Text Classification • Updated Dec 21, 2022 • 120 • 12
internlm/Lean-Workbook

Viewer • Updated Oct 9, 2024 • 25.2k • 692 • 56

Collection guide
Browse collections

Company

TOS Privacy About Careers

Website

Models Datasets Spaces Pricing Docs