TY  - RPRT
TI  - Teaching Code LLMs to Reason with Intermediate Formal Specifications
AU  - Minh Le-Anh
AU  - Cuong Chi Le
AU  - Tien N. Nguyen
PY  - 2026
UR  - https://arxiv.org/abs/2607.04232
ID  - 2607.04232
ER  -