Better Specifications, Better Code: Fine-Tuning LLMs for Behavioral Contract Generation

Better Specifications, Better Code: Fine-Tuning LLMs for Behavioral Contract Generation

来源：arXiv · arxiv.org