@misc{indiciaef7e66dfbf104,
  title = {Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?},
  author = {Cedric Richter and Heike Wehrheim},
  year = {2025},
  url = {https://arxiv.org/abs/2510.12702},
  note = {Source identifier: 2510.12702}
}