l3lab/ntp-mathlib-context-deepseek-coder-1.3b
Text Generation • Updated • 731 • 3
miniCTX
miniCTX: Neural Theorem Proving with (Long-)Contexts (ICLR 2025 Oral)
-
-
l3lab/ntp-mathlib-instruct-context
Viewer • Updated • 614k • 78 • 1 -
l3lab/ntp-mathlib-st-deepseek-coder-1.3b
Text Generation • Updated • 4 -
l3lab/ntp-mathlib
Viewer • Updated • 213k • 75 • 2 -
l3lab/ntp-mathlib-instruct-st
Viewer • Updated • 307k • 36 -
l3lab/miniCTX
Viewer • Updated • 662 • 117 • 3 -
miniCTX: Neural Theorem Proving with (Long-)Contexts
Paper • 2408.03350 • Published • 1