{"type": "article", "title": "Cost-Effective Automated Judging of Natural-Language Mathematical Proofs", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/cost-effective-automated-judging-of-natural-language-mathematical-proofs", "original_source": "https://arxiv.org/abs/2608.00004", "published": "2026-08-04T04:00:00+00:00", "accessed": "2026-08-04", "id": "cost-effective-automated-judging-of-natural-language-mathematical-proofs"}