m-a-p/1.3B-100B-HGRN-hybrid-3-1
1B β’ Updated β’ 3
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/1.3B-100B-HGRN2-hybrid-24-1
1B β’ Updated β’ 6
m-a-p/1.3B-100B-HGRN2-hybrid-12-1
1B β’ Updated β’ 5
m-a-p/1.3B-100B-HGRN2-hybrid-6-1
1B β’ Updated β’ 5
m-a-p/1.3B-100B-HGRN2-hybrid-3-1
1B β’ Updated β’ 4
m-a-p/1.3B-100B-GLA-hybrid-24-1
1B β’ Updated β’ 4
m-a-p/1.3B-100B-GLA-hybrid-12-1
1B β’ Updated β’ 5
m-a-p/1.3B-100B-GLA-hybrid-6-1
1B β’ Updated β’ 3
m-a-p/1.3B-100B-GLA-hybrid-3-1
1B β’ Updated β’ 7
m-a-p/1.3B-100B-GatedDeltaNet-hybrid-24-1
1B β’ Updated β’ 24
m-a-p/1.3B-100B-GatedDeltaNet-hybrid-12-1
1B β’ Updated β’ 4
m-a-p/1.3B-100B-GatedDeltaNet-hybrid-6-1
1B β’ Updated β’ 5
m-a-p/1.3B-100B-GatedDeltaNet-hybrid-3-1
1B β’ Updated β’ 67
m-a-p/Infinity-Instruct-3M-0625-Llama3-8B-COIG-P
Text Generation β’ 8B β’ Updated β’ 4
m-a-p/Qwen2-Instruct-7B-COIG-P
Text Generation β’ 8B β’ Updated β’ 3
m-a-p/Qwen2.5-Instruct-7B-COIG-P
Text Generation β’ 8B β’ Updated β’ 3
m-a-p/CRM_llama3
Text Classification β’ 8B β’ Updated β’ 41
m-a-p/Infinity-Instruct-3M-0625-Qwen2-7B-COIG-P
Text Generation β’ 8B β’ Updated β’ 4
m-a-p/Infinity-Instruct-3M-0625-Mistral-7B-COIG-P
Text Generation β’ 7B β’ Updated β’ 6
m-a-p/openl2s_sep_ckpts
Updated
m-a-p/YuE-s1-0.5B
Text Generation β’ 0.5B β’ Updated β’ 369 β’ 3
m-a-p/YuE-upsampler
Text Generation β’ Updated β’ 47 β’ 25
m-a-p/YuE-s2-1B-general
Text Generation β’ 2B β’ Updated β’ 3.11k β’ 60
m-a-p/YuE-s1-7B-anneal-zh-icl
Text Generation β’ 6B β’ Updated β’ 48 β’ 17
m-a-p/YuE-s1-7B-anneal-zh-cot
Text Generation β’ 6B β’ Updated β’ 377 β’ 40
m-a-p/YuE-s1-7B-anneal-jp-kr-icl
Text Generation β’ 6B β’ Updated β’ 74 β’ 11
m-a-p/YuE-s1-7B-anneal-jp-kr-cot
Text Generation β’ 6B β’ Updated β’ 136 β’ 23
m-a-p/YuE-s1-7B-anneal-en-icl
Text Generation β’ 6B β’ Updated β’ 579 β’ 54
m-a-p/YuE-s1-7B-anneal-en-cot
Text Generation β’ 6B β’ Updated β’ 4.06k β’ 455
m-a-p/340M-20B-RetNet-pure
0.3B β’ Updated β’ 5