Reproduction: Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving