Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Logic-Based Explanation Generation on MAGIC class +1
Loading...
0.84
Sigma(S(x))
AXp
0.798
0.819
0.84
0.861
Jun 9, 2026
Sigma(S(x))
Sigma(MCT(E))
Explanation Size (|E|)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Sigma(S(x))
Sigma(MCT(E))
Explanation Size (|E|)
AXp
Explanation Type=AXp
2026.06
0.84
0.59
3.52
CA-AXp
Explanation Type=CA-AX...
2026.06
0.84
0.7
4.03
CA-AXp
Explanation Type=CA-AX...
2026.06
0.84
0.77
4.38
CA-AXp
Explanation Type=CA-AX...
2026.06
0.84
0.81
5.29
Feedback
Search any
task
Search any
task
