4 papers
math.LO2026
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…
math.GM2026
Mapping Mathematical Hardness: Machine-Assisted Conjecture Discovery and the Quantification of Non-Triviality
Madhuparna Das
Machine-assisted mathematical discovery has been a long-standing challenge in machine learning and artificial intelligence. In recent years, we have seen tremendous progress with g…
math.NT2025
A central limit theorem for partitions involving generalised divisor functions
Madhuparna Das, Nicolas Robles
We let count the -restricted coloured partitions of with parts, for a positive integer valued function , given by the bivariate generating series \[ Q_f(z,…
math.NT2024
Exponential Sums with Additive Coefficients and its Consequences to Weighted Partitions
Madhuparna Das
In this article, we consider the weighted partition function given by the generating series , wh…