Auto-Formalization RickyDeSkywalker/OpenBootstrappedTheorem Viewer • Updated Jul 12, 2024 • 107k • 18 • 12 RickyDeSkywalker/TheoremLlama Text Generation • 8B • Updated Aug 4, 2025 • 18 • 7 ibm-research/ColD-Fusion Text Classification • Updated Dec 21, 2022 • 116 • 12 internlm/Lean-Workbook Viewer • Updated Oct 9, 2024 • 25.2k • 660 • 48
Auto-Formalization RickyDeSkywalker/OpenBootstrappedTheorem Viewer • Updated Jul 12, 2024 • 107k • 18 • 12 RickyDeSkywalker/TheoremLlama Text Generation • 8B • Updated Aug 4, 2025 • 18 • 7 ibm-research/ColD-Fusion Text Classification • Updated Dec 21, 2022 • 116 • 12 internlm/Lean-Workbook Viewer • Updated Oct 9, 2024 • 25.2k • 660 • 48
