@misc{indiciae9816fcac312a, title = {SecPI: Secure Code Generation with Reasoning Models via Security Reasoning Internalization}, author = {Hao Wang and Niels Mündler and Mark Vero and Jingxuan He and Dawn Song and Martin Vechev}, year = {2026}, url = {https://arxiv.org/abs/2604.03587}, note = {Source identifier: 2604.03587} }