m-a-p/neo_scalinglaw_250M
Updated β’ 2
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/neo_7b_intermediate
Updated β’ 2
m-a-p/neo_7b
Text Generation β’ 8B β’ Updated β’ 48 β’ 57
m-a-p/neo_7b_decay
Updated β’ 4
m-a-p/neo_7b_instruct_v0.1
Text Generation β’ 8B β’ Updated β’ 30 β’ 10
m-a-p/neo_7b_sft_v0.1
Text Generation β’ 8B β’ Updated β’ 23 β’ 1
m-a-p/OpenCodeInterpreter-CL-70B
Text Generation β’ 69B β’ Updated β’ 8 β’ 24
m-a-p/MuPT-v1-8192-550M
Text Generation β’ Updated β’ 5 β’ 2
m-a-p/MuPT-v1-8192-190M
Text Generation β’ Updated β’ 105 β’ 4
m-a-p/MuPT-v1-8192-1.07B
Text Generation β’ Updated β’ 168 β’ 5
m-a-p/MuPT-v1.1-8192-1.07B
Text Generation β’ Updated β’ 2
m-a-p/MuPT-v1.1-8192-1.97B
Text Generation β’ Updated β’ 75
m-a-p/MuPT-v1.1-8192-4.23B
Text Generation β’ Updated β’ 80
m-a-p/Kun-PrimaryChatModel
Feature Extraction β’ 34B β’ Updated β’ 7
m-a-p/MuPT-v1.1-505M-8192
Updated
m-a-p/ChatMusician
Text Generation β’ 7B β’ Updated β’ 1.04k β’ β’ 155
m-a-p/CT-LLM-SFT-experiment-ckpts
Updated
m-a-p/CT-LLM-Base
Text Generation β’ 2B β’ Updated β’ 37 β’ 11
m-a-p/CT-LLM-SFT
Text Generation β’ 2B β’ Updated β’ 25 β’ 1
m-a-p/CT-LLM-SFT-DPO
Text Generation β’ 2B β’ Updated β’ 25 β’ 5
m-a-p/CT-LLM-intermediate-ckpts
Updated β’ 1
m-a-p/OpenLLaMA-Reproduce-973.08B
Text Generation β’ Updated β’ 10
m-a-p/OpenLLaMA-Reproduce-1073.74B
Text Generation β’ Updated β’ 6
m-a-p/OpenLLaMA-Reproduce-2030.04B
Text Generation β’ Updated β’ 3
m-a-p/OpenLLaMA-Reproduce-117.44B
Text Generation β’ Updated β’ 4
m-a-p/OpenLLaMA-Reproduce-335.54B
Text Generation β’ Updated β’ 2
m-a-p/OpenLLaMA-Reproduce-1191.18B
Text Generation β’ Updated β’ 5
m-a-p/OpenLLaMA-Reproduce-872.42B
Text Generation β’ Updated β’ 4
m-a-p/OpenLLaMA-Reproduce-1728.05B
Text Generation β’ Updated β’ 2
m-a-p/OpenLLaMA-Reproduce-1933.57B
Text Generation β’ Updated β’ 3