@misc{indiciaea55627e91ee6,
  title = {Better Specifications, Better Code: Fine-Tuning LLMs for Behavioral Contract Generation},
  author = {Brhane Team and Tiantian Yang and Nikta Akbarpour and Simone Bartucci and Francesco Calimeri and Song Wang},
  year = {2026},
  url = {https://arxiv.org/abs/2610.25616},
  note = {Source identifier: 2610.25616}
}