ResearchDatasetsMathematical Claim GenerationFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA 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