generalization japanese math formal hard

这是 S1MB 英文套件中的一个基准，取自 generalization-japanese-math-formal-hard 子集。按作者给定的有序标准档位打分，返回每个档位的概率分布，主指标是归一化期望值 MAE，越低越好。该基准包含 300 个 case、300 个判断。评测协议：S1MB 把原始任务改写为类型化决策问题，模型必须输出概率分布，分数经过「忽略输入的基线」校正后折算到 0–100（50 分代表补上了一半差距，不是答对一半）。

这是 S1MB 英文套件中的一个基准，取自 generalization-japanese-math-formal-hard 子集。按作者给定的有序标准档位打分，返回每个档位的概率分布，主指标是归一化期望值 MAE，越低越好。该基准包含 300 个 case、300 个判断。评测协议：S1MB 把原始任务改写为类型化决策问题，模型必须输出概率分布，分数经过「忽略输入的基线」校正后折算到 0–100（50 分代表补上了一半差距，不是答对一半）。