State Abstraction on Synth-Fold
5,000Abstract State CountNo Abstraction
Evaluation results
| Method | Links | ||
|---|---|---|---|
| No Abstraction2026.05 | 5,000 | 100 | |
| Bisim.-ε2026.05 | 42 | 99.1 | |
| DeepMDP2026.05 | 28 | 95.8 | |
| Louvain2026.05 | 25 | 99.1 | |
| Spectral2026.05 | 24 | 99.2 | |
| METIS2026.05 | 22 | 99 | |
| Tangle-Core2026.05 | 10 | 99.3 |