deepseek-ai/DeepSeek-ProverBench
Viewer
•
Updated
•
325
•
77
•
41
DeepSeek
company
Verified
AI & ML interests
None defined yet.
Recent Activity
View all activity
Papers
Conditional Memory via Scalable Lookup: A New Axis of Sparsity for Large Language Models
mHC: Manifold-Constrained Hyper-Connections