List your company

State Abstraction on FourRooms

4Abstract State CountTangle-Core
0275481May 29, 2026

Evaluation results

MethodLinks
Tangle-Core2026.05499
METIS2026.051699.2
Louvain2026.051799.1
Spectral2026.051899.1
DeepMDP2026.053298.1
Bisim.-ε2026.058799.4
No Abstraction2026.05104100