🏷️ #التأكد من صحة البرمجيات

هل يمكن لنماذج اللغات الضخمة أن تفكر كأدوات إثبات آلية في التحقق من برمجيات Rust؟ تجربة VCoT-Bench تكشف المستور!