Dongwei Jiang

新しいフレームワークがLeanを使って大規模言語モデルの論理的推論を強化するよ。