Yeyun Gong

この記事では、Rustでの正しさ証明を生成するための新しい方法について話してるよ。

新しい方法で、コンピュータがプロンプトを効率よく処理できるようになったんだ。