ResearchBenchmarksLogic-Based Explanation Generation on MAGIC class +1Logic-Based Explanation Generation on MAGIC class +1Follow0.84Sigma(S(x))AXp0.7980.8190.840.861Jun 9, 2026Evaluation resultsMethodMethodLinksSigma(S(x))Sigma(MCT(E))Explanation Size (|E|)AXpExplanation Type=AXpExplanation Type=AXp2026.060.840.593.52CA-AXpExplanation Type=CA-AX...Explanation Type=CA-AXp, Confidence Threshold (%)=25%2026.060.840.74.03CA-AXpExplanation Type=CA-AX...Explanation Type=CA-AXp, Confidence Threshold (%)=50%2026.060.840.774.38CA-AXpExplanation Type=CA-AX...Explanation Type=CA-AXp, Confidence Threshold (%)=75%2026.060.840.815.29