Trustworthy Software Project Generation: A Case Study with an Interactive Theorem Prover

@inproceedings{JAWS26,
  author = {Jian Fang and Yingfei Xiong},
  title = {Trustworthy Software Project Generation: A Case Study with an Interactive Theorem Prover},
  year = {2026},
  month = {10},
  booktitle = {JAWs 2: Journal Ahead Workshop at ASE 2026},
  doi = {10.48550/arXiv.2605.26017},
  eprint = {2605.26017},
  archiveprefix = {arXiv},
  primaryclass = {cs.SE},
  site_category = {wshop},
  site_paper_url = {https://arxiv.org/abs/2605.26017}
}