1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
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…