The OFEQ-10k dataset contains 12,548 detailed questions with corresponding math headlines from MathOverflow.
Source: https://arxiv.org/pdf/1912.00839.pdf