ProofNet-Test

The 'ProofNet-Test' dataset is used to evaluate the performance of theorem proving models, specifically measuring their ability to solve formal proofs in a structured manner.

Papers using ProofNet-Test (2)

GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving2025STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving2025