Yuhuai Wu

REFACTORを紹介するよ。これは数学の証明から自動的に定理を抽出するシステムなんだ。

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