##article.return## RefGrader: Automated Grading of Mathematical Competition Proofs using Agentic Workflows Download Download PDF