Xueliang Zhao

様々な数学問題を使って言語モデルをテストした研究が、推論におけるギャップを明らかにした。

新しい方法がAIと専門家の学習を使って定理証明を強化するんだ。