TY  - RPRT
TI  - Better Specifications, Better Code: Fine-Tuning LLMs for Behavioral Contract Generation
AU  - Brhane Team
AU  - Tiantian Yang
AU  - Nikta Akbarpour
AU  - Simone Bartucci
AU  - Francesco Calimeri
AU  - Song Wang
PY  - 2026
UR  - https://arxiv.org/abs/2610.25616
ID  - 2610.25616
ER  -