Formal Reasoning on MemoryArena Formal Reasoning 1.0 (test)
45Math Success RateHippoRAG2
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| HippoRAG22026.06 | 45 | 41.53 | 60 | 70.93 | 2,268 | |
| MemoRAG2026.06 | 45 | 42.37 | 65 | 72.09 | 1,314 | |
| MemoryOS2026.06 | 45 | 42.09 | 55 | 69.77 | 1,452 | |
| ReasoningBank2026.06 | 42.5 | 42.66 | 55 | 67.44 | 1,187 | |
| MAGE2026.06 | 42.5 | 44.92 | 65 | 69.77 | 1,195 | |
| Long Context2026.06 | 40 | 41.24 | 65 | 69.77 | 1,782 | |
| Mem02026.06 | 40 | 40.4 | 55 | 69.77 | 1,853 | |
| SimpleMem2026.06 | 40 | 42.94 | 55 | 66.28 | 1,656 |