{"entity": "MiniF2F-Test", "url": "https://wpnews.pro/entity/MiniF2F-Test", "count": 1, "articles": [{"slug": "pythagoras-prover-advancing-efficient-formal-proving-via-augmented-lean", "title": "Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation", "url": "https://wpnews.pro/news/pythagoras-prover-advancing-efficient-formal-proving-via-augmented-lean", "published_at": "2026-06-12 04:00:00+00:00"}]}