Haiming Wang

研究が、新しい手法を明らかにして、ラージランゲージモデルを利用した定理証明の改善を進めてるんだ。

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

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

新しいフレームワークは、プライバシーとパフォーマンスを向上させるために、フェデレーテッドラーニングとマルチモーダルモデルを組み合わせているよ。