Zhicheng Yang

新しいベンチマークは、自動推論のためのモデルの定理生成能力を向上させることを目指している。

POETRYはその再帰的アプローチを通じて定理証明の効率を高めるんだ。

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

新しい方法で、テキストや画像を使って医者と患者のコミュニケーションが向上するよ。

研究者たちは、大規模言語モデルが知識を表現する方法を改善する方法を見つけた。