Interpreting LLM-as-a-Judge Policies via Verifiable Global Explanations