Topic: theorem-proving

2 articles

Explore our coverage of theorem-proving — 2 curated articles, summaries, and related resources from the Inblix archive.

GamePad turns Coq proofs into AI training data

OpenAI Blog · Jul 20, 2026 · 2 min read

Theorem proving isn't just about getting to QED — it's about the thousands of tiny, tactical decisions that get you the...

$A tiny 0.6B model just crushed formal math proofs, topping the MiniF2F leaderboard — Inblix summary$

Hugging Face Blog · Aug 14, 2025 · 2 min read

A new open-source training recipe is producing absurdly strong theorem-proving models that fit on a laptop. The team be...