microsoft/Verus_Training_Data

Qwen3-27B 使用新颖课程进行 C 到 Rust 翻译微调

研究人员为 Qwen3-27B 大语言模型开发了一种新颖的三阶段微调课程，专门针对将 C 代码翻译成惯用 Rust 的复杂任务。该课程包括在以 Rust 为中心的 डेटा 上继续预训练，在旨在灌输调试和自我修复行为的数据集上进行监督微调，以及使用 LeetCode 问题中的 C/Rust 配对解决方案进行任务特定微调的最后阶段。结果模型在 C 到 Rust 翻译方面表现出改进的性能，使用评估成功率、惯用性和故障模式的框架进行评估。