{"id":"https://openalex.org/W4410637018","doi":"https://doi.org/10.1145/3701716.3717811","title":"Iterative Proof-Driven Development LLM Prompt","display_name":"Iterative Proof-Driven Development LLM Prompt","publication_year":2025,"publication_date":"2025-05-08","ids":{"openalex":"https://openalex.org/W4410637018","doi":"https://doi.org/10.1145/3701716.3717811"},"language":"en","primary_location":{"id":"doi:10.1145/3701716.3717811","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3701716.3717811","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3701716.3717811","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion Proceedings of the ACM on Web Conference 2025","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3701716.3717811","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091113555","display_name":"Aneesha Bakharia","orcid":"https://orcid.org/0000-0002-5802-1280"},"institutions":[{"id":"https://openalex.org/I165143802","display_name":"University of Queensland","ror":"https://ror.org/00rqy9422","country_code":"AU","type":"education","lineage":["https://openalex.org/I165143802"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Aneesha Bakharia","raw_affiliation_strings":["The University of Queensland, Brisbane, QLD, Australia"],"affiliations":[{"raw_affiliation_string":"The University of Queensland, Brisbane, QLD, Australia","institution_ids":["https://openalex.org/I165143802"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5091113555"],"corresponding_institution_ids":["https://openalex.org/I165143802"],"apc_list":null,"apc_paid":null,"fwci":3.4721,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.91947291,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1596","last_page":"1597"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13999","display_name":"Digital Rights Management and Security","score":0.9291999936103821,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13999","display_name":"Digital Rights Management and Security","score":0.9291999936103821,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5925565361976624},{"id":"https://openalex.org/keywords/development","display_name":"Development (topology)","score":0.4181459844112396},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.16954022645950317}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5925565361976624},{"id":"https://openalex.org/C2776542497","wikidata":"https://www.wikidata.org/wiki/Q5266672","display_name":"Development (topology)","level":2,"score":0.4181459844112396},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16954022645950317},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3701716.3717811","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3701716.3717811","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3701716.3717811","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion Proceedings of the ACM on Web Conference 2025","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3701716.3717811","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3701716.3717811","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3701716.3717811","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion Proceedings of the ACM on Web Conference 2025","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.5099999904632568,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4410637018.pdf","grobid_xml":"https://content.openalex.org/works/W4410637018.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"This":[0,84],"paper":[1],"introduces":[2],"Iterative":[3,26],"Proof-Driven":[4,27],"Development,":[5],"a":[6,30,35,54,119],"novel":[7],"prompt":[8,32,46,159],"engineering":[9,160],"method":[10,85,131],"designed":[11],"to":[12,22,52,74],"take":[13],"advantage":[14,87],"of":[15,68,88,118,158],"GPT-4":[16],"level":[17],"models":[18],"that":[19,33],"are":[20],"able":[21],"follow":[23],"detailed":[24],"instructions.":[25],"Development":[28],"is":[29],"structured":[31,78],"outlines":[34],"test-driven":[36],"process":[37,79],"for":[38,147,161],"solving":[39],"complex":[40],"mathematics":[41],"and":[42,63,82,100,127,136,154],"programming":[43],"tasks.":[44],"The":[45],"provides":[47],"an":[48,113],"LLM":[49,114],"with":[50,149],"instructions":[51],"decompose":[53],"problem":[55],"into":[56],"sub-problems,":[57],"generate":[58],"test":[59],"cases,":[60,144],"verify":[61],"results,":[62],"integrate":[64],"sub-solutions.":[65],"While":[66],"Chain":[67],"Thought":[69],"(CoT)":[70],"reasoning":[71],"remains":[72],"central":[73],"individual":[75],"steps,":[76],"the":[77,116,130,155],"ensures":[80,132],"consistency":[81],"reliability.":[83],"takes":[86],"embedded":[89],"code":[90],"interpreters":[91],"within":[92],"chatbot":[93],"user":[94],"interfaces,":[95],"enabling":[96],"immediate":[97],"execution,":[98],"debugging,":[99],"iterative":[101],"refinement":[102],"without":[103],"external":[104],"tools.":[105],"We":[106],"demonstrate":[107],"this":[108],"prompting":[109],"technique":[110],"by":[111],"guiding":[112],"through":[115],"development":[117,164],"small":[120],"CSV":[121],"processing":[122],"library,":[123],"illustrating":[124],"each":[125],"step":[126],"highlighting":[128],"how":[129],"well-tested,":[133],"logically":[134],"consistent,":[135],"reliable":[137],"outputs.":[138],"Finally,":[139],"we":[140],"explore":[141],"potential":[142],"use":[143],"future":[145],"directions":[146],"automation":[148],"agent-based":[150],"systems":[151],"(e.g.,":[152],"Langgraph),":[153],"broader":[156],"implications":[157],"larger":[162],"software":[163],"projects.":[165]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}