1
Teaching Code LLMs to Reason with Intermediate Formal Specifications
开源论文提出用中间形式规范训练代码大模型，显著提升复杂推理能力。
arXiv:2607.04232v1 Announce Type: cross Abstract: Unlike natural-language specifications, executable formal specifications provide machine-checkable c…