l3lab/ntp-mathlib-context-deepseek-coder-1.3b
Text Generation
•
Updated
•
29
•
2
miniCTX
miniCTX: Neural Theorem Proving with (Long-)Contexts (ICLR 2025 Oral)
-
-
l3lab/ntp-mathlib-instruct-context
Viewer • Updated • 614k • 61 • 1 -
l3lab/ntp-mathlib-st-deepseek-coder-1.3b
Text Generation • Updated • 19 -
l3lab/ntp-mathlib
Viewer • Updated • 213k • 73 • 2 -
l3lab/ntp-mathlib-instruct-st
Viewer • Updated • 307k • 373 -
l3lab/miniCTX
Viewer • Updated • 662 • 184 • 2 -
miniCTX: Neural Theorem Proving with (Long-)Contexts
Paper • 2408.03350 • Published • 1