TY  - RPRT
TI  - Proof Perplexity: A Probabilistic Approach to Measuring non-triviality in Machine Generated Proofs
AU  - Madhuparna Das
AU  - Soumya Banerjee
PY  - 2026
UR  - https://arxiv.org/abs/2610.22612
ID  - 2610.22612
ER  -