Proof Perplexity: A Probabilistic Approach to Measuring non-triviality in Machine Generated Proofs

Madhuparna Das, Soumya Banerjee

In this article, we propose a benchmark to quantify the non-triviality and novelty of machine-generated mathematical proofs compared to existing literature. Our core methodology us…