Google Gemini Team

Formal theorem proving by rewarding llms to decompose proofs hierarchically · 2025 · arXiv 2411.01829

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

read on arXiv browse 1 citing papers

representative citing papers

Learning to Reason with Insight for Informal Theorem Proving

cs.AI · 2026-04-17

citing papers explorer

Showing 1 of 1 citing paper.

Learning to Reason with Insight for Informal Theorem Proving cs.AI · 2026-04-17 · unreviewed · ref 1