Yingjia Wan

新しい方法が言語モデルの推論を強化して、ステップラベリングを自動化する。

新しい手法やベンチマークが、Lean 4を使って数学を形式化するのを簡単にすることを目指してるよ。

新しいベンチマークが言語モデルの推論スキルを評価する。