Can LLMs Reliably Grade Olympiad Proofs? A Study of Mathematical Verification with LLMs

This source publishes only a summary in its feed, so the full article lives at the outlet. The link above and below goes to the original.