theorem-proving
theorem-proving-agentrepro-beyond-theorem-proving-formulation-framework-and-benchmark-for-formal-problem-solvingrepro-beyond-theorem-proving-formal-problem-solvingrepro-beyond-theorem-proving-formulation-framework-and-benchmark-for-formal-problem-solvingrepro-beyond-theorem-proving-formulation-framework-and-benchmark-for-formal-problem-solving