internlm · Hugging Face 新模型· internlm·· 1 天前AI 评分43
internlm/AdvancedMathBench-AutoVerifier：自动评估数学证明的模型
internlm/AdvancedMathBench-AutoVerifier
AI 导读
AdvancedMathBench-AutoVerifier 是用于 ProverBench 的自动评分器，可评估自然语言数学证明、解释错误并定位最早错误步骤。
来源：internlm · Hugging Face 新模型 · huggingface.co