m-a-p/xcodec
Updated β’ 6 β’ 1
AI & ML interests
None defined yet.
Recent Activity
View all 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/key_sota_20250618
Updated β’ 1
m-a-p/340M-20B-GatedDeltaNet-New-hybrid-24-1
0.4B β’ Updated β’ 1
m-a-p/340M-20B-GatedDeltaNet-pure-baseline
0.4B β’ Updated β’ 13
m-a-p/1.3B-100B-DeltaNet-pure
1B β’ Updated β’ 514
m-a-p/1.3B-100B-DeltaNet-hybrid-24-1
1B β’ Updated β’ 3
m-a-p/1.3B-100B-DeltaNet-hybrid-12-1
1B β’ Updated β’ 4
m-a-p/1.3B-100B-DeltaNet-hybrid-6-1
1B β’ Updated β’ 1
m-a-p/1.3B-100B-DeltaNet-hybrid-3-1
1B β’ Updated β’ 5
m-a-p/MERT-v1-330M
Audio Classification β’ Updated β’ 46.1k β’ 86
m-a-p/MERT-v1-95M
Audio Classification β’ Updated β’ 78.8k β’ 49
m-a-p/340M-20B-GatedDeltaNet-hybrid-12-1
0.4B β’ Updated β’ 3
m-a-p/340M-20B-GLA-pure-baseline
0.3B β’ Updated β’ 3
m-a-p/1.3B-100B-GatedDeltaNet-pure
1B β’ Updated β’ 1.57k
m-a-p/1.3B-100B-HGRN2-pure
1B β’ Updated β’ 3
m-a-p/1.3B-100B-GLA-pure
1B β’ Updated β’ 557
m-a-p/1.3B-100B-RetNet-pure
1B β’ Updated β’ 520
m-a-p/1.3B-100B-RetNet-hybrid-24-1
1B β’ Updated β’ 8
m-a-p/1.3B-100B-RetNet-hybrid-12-1
1B β’ Updated β’ 2
m-a-p/1.3B-100B-RetNet-hybrid-6-1
1B β’ Updated β’ 2
m-a-p/1.3B-100B-RetNet-hybrid-3-1
1B β’ Updated β’ 17
m-a-p/340M-20B-HGRN-pure-baseline
0.3B β’ Updated β’ 2
m-a-p/340M-20B-HGRN-hybrid-24-1
0.3B β’ Updated β’ 3
m-a-p/340M-20B-HGRN-hybrid-12-1
0.3B β’ Updated β’ 1
m-a-p/340M-20B-HGRN-hybrid-6-1
0.3B β’ Updated β’ 2
m-a-p/340M-20B-HGRN-hybrid-3-1
0.3B β’ Updated β’ 2
m-a-p/1.3B-100B-HGRN-pure
1B β’ Updated β’ 5
m-a-p/1.3B-100B-HGRN-hybrid-24-1
1B β’ Updated β’ 25
m-a-p/1.3B-100B-HGRN-hybrid-12-1
1B β’ Updated β’ 4
m-a-p/1.3B-100B-HGRN-hybrid-6-1
1B β’ Updated β’ 1