Wenda Li

DTVメソッドは、大きな言語モデルの数学問題に対する回答の信頼性を高めるんだ。

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

研究はAIを使って数学的証明を検証するためのデータ生成を強化する。

テキスト埋め込みのモデルを賢く効果的にトレーニングする方法を学ぼう。