Zhijiang Guo

生成型検索エンジンは、敵対的な質問からの課題に直面していて、精度に影響を与えている。

新しいアプローチで大規模言語モデルが生成するコードの性能が向上するんだ。

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

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

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