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