MUS/MSS Enumeration on SMT
58Count of MUSes/MSSesHyMUSE
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| HyMUSEAgent=w/ Agent, Checks=10k2026.04 | 58 | 1.3 | |
| Baseline (MARCO)Agent=w/o Agent, Checks=10k2026.04 | 43.3 | — |
Loading the SOTA2 catalog…
| Method | Links | ||
|---|---|---|---|
| HyMUSEAgent=w/ Agent, Checks=10k2026.04 | 58 | 1.3 | |
| Baseline (MARCO)Agent=w/o Agent, Checks=10k2026.04 | 43.3 | — |