正式语言（如模型检查和形式验证）对我来说是新知识，我希望在此进行简要回顾，以便快速参考。

本文研究如何利用少量有标签的对比数据提升机器翻译中的正式语言水平。通过微调模型，探索形式化特征翻译的应用。研究表明，数据驱动的方法和合成数据生成策略显著改善翻译效果，并提出了正式程度检测的系统性研究，发布了相关模型和数据集，推动多语言风格转移的进展。