データ不足という課題を抱えるRustコードの自動証明生成において、自己進化型フレームワークSAFEは、データ合成とモデルのファインチューニングを組み合わせることで、GPT-4o のような大規模言語モデルのみに依存するよりも優れた効率性と精度を実現する。