Iterative Proof-Driven Development LLM Prompt.
| Anthology ID: | DBLP:conf/www/Bakharia25 |
|---|---|
| Volume: | Companion Proceedings of the ACM on Web Conference 2025, WWW 2025, Sydney, NSW, Australia, 28 April 2025 - 2 May 2025 |
| Year: | 2025 |
| Venue: | The Web Conference (WWW) |
| Publisher: | ACM |
| Pages: | 1596-1597 |
| URL: | https://doi.org/10.1145/3701716.3717811 |
| DOI: | https://doi.org/10.1145/3701716.3717811 |
| DBLP: | conf/www/Bakharia25 |
| BibTeX: |
@inproceedings{bakharia-2025-iterative,
author = {Aneesha Bakharia},
editor = {Guodong Long and
Michale Blumestein and
Yi Chang and
Liane Lewin-Eytan and
Zi Huang and
Elad Yom-Tov},
title = {{Iterative Proof-Driven Development LLM Prompt}},
booktitle = {{Companion Proceedings of the ACM on Web Conference 2025, WWW 2025, Sydney, NSW, Australia, 28 April 2025 - 2 May 2025}},
pages = {1596--1597},
publisher = {ACM},
year = {2025},
url = {https://doi.org/10.1145/3701716.3717811},
doi = {https://doi.org/10.1145/3701716.3717811}
}