# MiniF2F-Test

> Entity coverage from Web Pulse
> Last updated: 2026-06-13T09:52:32.774567+00:00
> 1 articles mentioning **MiniF2F-Test**

- [Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation](https://wpnews.pro/news/pythagoras-prover-advancing-efficient-formal-proving-via-augmented-lean) — 2026-06-12