تنزيل Linnk AI
•
مساعد بحثي ذاتي
>
سجل دخولك
رؤى
-
Leanにおける定理証明のための大規模言語モデルの活用
大規模言語モデルをLeanの定理証明のコパイロットとして活用する
大規模言語モデルを用いて、人間の定理証明プロセスを支援することができる。
1