m-a-p/OpenLLaMA-Reproduce-1409.29B
Text Generation β’ Updated β’ 4
AI & ML interests
None defined yet.
Recent Activity
Papers
OProver: A Unified Framework for Agentic Formal Theorem Proving
A Self-Evolving Framework for Efficient Terminal Agents via Observational Context Compression
m-a-p/OpenLLaMA-Reproduce-536.87B
Text Generation β’ Updated β’ 3
m-a-p/OpenLLaMA-Reproduce-2041.21B
Text Generation β’ Updated β’ 3
m-a-p/OpenLLaMA-Reproduce-1828.72B
Text Generation β’ Updated β’ 2
m-a-p/OpenLLaMA-Reproduce-503.32B
Text Generation β’ Updated β’ 3
m-a-p/OpenLLaMA-Reproduce-1610.61B
Text Generation β’ Updated β’ 2
m-a-p/OpenLLaMA-Reproduce-654.31B
Text Generation β’ Updated β’ 3
m-a-p/OpenLLaMA-Reproduce-1023.41B
Text Generation β’ Updated β’ 3
m-a-p/OpenLLaMA-Reproduce-1291.85B
Text Generation β’ Updated β’ 4
m-a-p/OpenLLaMA-Reproduce-1509.95B
Text Generation β’ Updated β’ 6
m-a-p/OpenLLaMA-Reproduce-318.77B
Text Generation β’ Updated β’ 4
m-a-p/OpenLLaMA-Reproduce-436.21B
Text Generation β’ Updated β’ 3
m-a-p/OpenLLaMA-Reproduce-754.97B
Text Generation β’ Updated β’ 2
m-a-p/OpenLLaMA-Reproduce-218.1B
Text Generation β’ Updated β’ 5
m-a-p/OpenLLaMA-Reproduce-100.66B
Text Generation β’ Updated β’ 4
m-a-p/Amber-Reproduce-hkg_amber_hf
Updated β’ 1
m-a-p/Amber-Reproduce-499.12B
6B β’ Updated β’ 4
m-a-p/Amber-Reproduce-901.78B
6B β’ Updated β’ 2
m-a-p/Amber-Reproduce-700.45B
6B β’ Updated β’ 1
m-a-p/Amber-Reproduce-71.30B
6B β’ Updated β’ 1
m-a-p/Amber-Reproduce-1098.91B
6B β’ Updated β’ 5
m-a-p/Amber-Reproduce-398.46B
6B β’ Updated β’ 1
m-a-p/Amber-Reproduce-20.97B
6B β’ Updated β’ 3
m-a-p/Amber-Reproduce-1300.23B
6B β’ Updated β’ 3
m-a-p/Amber-Reproduce-29.36B
6B β’ Updated β’ 2
m-a-p/Amber-Reproduce-100.66B
6B β’ Updated β’ 1
m-a-p/Amber-Reproduce-998.24B
6B β’ Updated β’ 2
m-a-p/Amber-Reproduce-41.94B
6B β’ Updated β’ 2
m-a-p/Amber-Reproduce-8.39B
6B β’ Updated β’ 1
m-a-p/Amber-Reproduce-801.11B
6B β’ Updated β’ 1