{"type": "article", "title": "MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/ma-proofbench-a-two-tiered-evaluation-of-llms-for-theorem-proving-in-analysis", "original_source": "https://arxiv.org/abs/2606.13782", "published": "2026-06-15T04:00:00+00:00", "accessed": "2026-06-15", "id": "ma-proofbench-a-two-tiered-evaluation-of-llms-for-theorem-proving-in-analysis"}