ResearchDatasetsMathematical Claim GenerationMathematical Claim GenerationFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsMathematical Claim GenerationMathematical Claim Generation LLM Judge Evaluation pre-2024 GPT3.45Content Score8
Mathematical Claim GenerationMathematical Claim Generation LLM Judge Evaluation pre-2024 GPT3.45Content Score8