ResearchTasksMathematical Claim GenerationMathematical Claim GenerationFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedMathematical Claim Generation LLM Judge Evaluation pre-2024 GPTCOMPOSE3.45Content Score8May 29, 2026