据推特用户@logic_int称,Aleph模型在主要形式推理基准测试中领先,EBMs(能量基础模型)重回关注。
RT @logic_int: EBMs are so back! Aleph now leads the major formal reasoning benchmarks.
likes: 108 | retweets: 48 | replies: 0 | views: 136085