EBMs回归，Aleph在形式推理基准测试中领先

RT @logic_int: EBMs 回来了！Aleph 现在在主要形式推理基准测试中领先。