{"id":"https://openalex.org/W4409779994","doi":"https://doi.org/10.1145/3706598.3714113","title":"VeriPlan: Integrating Formal Verification and LLMs into End-User Planning","display_name":"VeriPlan: Integrating Formal Verification and LLMs into End-User Planning","publication_year":2025,"publication_date":"2025-04-24","ids":{"openalex":"https://openalex.org/W4409779994","doi":"https://doi.org/10.1145/3706598.3714113"},"language":"en","primary_location":{"id":"doi:10.1145/3706598.3714113","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3706598.3714113","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3706598.3714113","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057025083","display_name":"Christine P. Lee","orcid":"https://orcid.org/0000-0003-0991-8072"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Christine P. Lee","raw_affiliation_strings":["Department of Computer Sciences, University of Wisconsin-Madison, Madison, Wisconsin, USA"],"raw_orcid":"https://orcid.org/0000-0003-0991-8072","affiliations":[{"raw_affiliation_string":"Department of Computer Sciences, University of Wisconsin-Madison, Madison, Wisconsin, USA","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021735130","display_name":"David Porfirio","orcid":"https://orcid.org/0000-0001-5383-3266"},"institutions":[{"id":"https://openalex.org/I1288214837","display_name":"United States Naval Research Laboratory","ror":"https://ror.org/04d23a975","country_code":"US","type":"facility","lineage":["https://openalex.org/I1288214837","https://openalex.org/I1330347796","https://openalex.org/I175003984","https://openalex.org/I3130687028"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David Porfirio","raw_affiliation_strings":["Navy Center for Applied Research in AI, U.S. Naval Research Laboratory, Washington, District of Columbia, USA"],"raw_orcid":"https://orcid.org/0000-0001-5383-3266","affiliations":[{"raw_affiliation_string":"Navy Center for Applied Research in AI, U.S. Naval Research Laboratory, Washington, District of Columbia, USA","institution_ids":["https://openalex.org/I1288214837"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Xinyu Jessica Wang","orcid":"https://orcid.org/0009-0002-5519-8432"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xinyu Jessica Wang","raw_affiliation_strings":["University of Wisconsin - Madison, Madison, Wisconsin, USA"],"raw_orcid":"https://orcid.org/0009-0002-5519-8432","affiliations":[{"raw_affiliation_string":"University of Wisconsin - Madison, Madison, Wisconsin, USA","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5117301429","display_name":"Kevin Chenkai Zhao","orcid":null},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kevin Chenkai Zhao","raw_affiliation_strings":["People and Robots Lab, University of Wisconsin-Madison, Madison, Wisconsin, USA"],"raw_orcid":"https://orcid.org/0009-0008-6349-2862","affiliations":[{"raw_affiliation_string":"People and Robots Lab, University of Wisconsin-Madison, Madison, Wisconsin, USA","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017344436","display_name":"Bilge Mutlu","orcid":"https://orcid.org/0000-0002-9456-1495"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bilge Mutlu","raw_affiliation_strings":["Department of Computer Sciences, University of Wisconsin-Madison, Madison, Wisconsin, USA"],"raw_orcid":"https://orcid.org/0000-0002-9456-1495","affiliations":[{"raw_affiliation_string":"Department of Computer Sciences, University of Wisconsin-Madison, Madison, Wisconsin, USA","institution_ids":["https://openalex.org/I135310074"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":26.6287,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.99498078,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":99,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"19"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13197","display_name":"Spreadsheets and End-User Computing","score":0.9898999929428101,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9890999794006348,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.600294291973114}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.600294291973114}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3706598.3714113","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3706598.3714113","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2502.17898","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2502.17898","pdf_url":"https://arxiv.org/pdf/2502.17898","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"doi:10.1145/3706598.3714113","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3706598.3714113","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3574771621","display_name":"NRI: INT: COLLAB: Program Verification and Synthesis for Collaborative Robots","funder_award_id":"1925043","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":73,"referenced_works":["https://openalex.org/W262436420","https://openalex.org/W1498432697","https://openalex.org/W1505483226","https://openalex.org/W1514649722","https://openalex.org/W1862398452","https://openalex.org/W2007528787","https://openalex.org/W2012620318","https://openalex.org/W2029733680","https://openalex.org/W2119709400","https://openalex.org/W2134029974","https://openalex.org/W2153958417","https://openalex.org/W2467068840","https://openalex.org/W2479648088","https://openalex.org/W2518731509","https://openalex.org/W2784743256","https://openalex.org/W2803760365","https://openalex.org/W2896381102","https://openalex.org/W2916904544","https://openalex.org/W2958992432","https://openalex.org/W2972450445","https://openalex.org/W2990138404","https://openalex.org/W3017863658","https://openalex.org/W3029258967","https://openalex.org/W3031000691","https://openalex.org/W3034383590","https://openalex.org/W3093033010","https://openalex.org/W3094520039","https://openalex.org/W3124388295","https://openalex.org/W3124779385","https://openalex.org/W3133702157","https://openalex.org/W3183398589","https://openalex.org/W4220962633","https://openalex.org/W4226145022","https://openalex.org/W4232818056","https://openalex.org/W4237721941","https://openalex.org/W4285384595","https://openalex.org/W4309674289","https://openalex.org/W4361289889","https://openalex.org/W4366548330","https://openalex.org/W4377371585","https://openalex.org/W4379379858","https://openalex.org/W4380355772","https://openalex.org/W4385003312","https://openalex.org/W4385569968","https://openalex.org/W4385650540","https://openalex.org/W4385682544","https://openalex.org/W4386041250","https://openalex.org/W4390490761","https://openalex.org/W4390874280","https://openalex.org/W4391833165","https://openalex.org/W4392182430","https://openalex.org/W4392240262","https://openalex.org/W4392633926","https://openalex.org/W4393160795","https://openalex.org/W4393971165","https://openalex.org/W4394780772","https://openalex.org/W4396827243","https://openalex.org/W4396831993","https://openalex.org/W4396832139","https://openalex.org/W4396832739","https://openalex.org/W4396941516","https://openalex.org/W4399115943","https://openalex.org/W4399115948","https://openalex.org/W4399157087","https://openalex.org/W4399177300","https://openalex.org/W4399423300","https://openalex.org/W4401386467","https://openalex.org/W4401415471","https://openalex.org/W4401567960","https://openalex.org/W4402413999","https://openalex.org/W4403334020","https://openalex.org/W4403808928","https://openalex.org/W4404781910"],"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":{"Automated":[0],"planning":[1,20,28,43,152],"is":[2],"traditionally":[3],"the":[4,16,77,89,113,127,139],"domain":[5],"of":[6,18,81,134,142],"experts,":[7],"utilized":[8],"in":[9,24,112,126],"fields":[10],"like":[11],"manufacturing":[12],"and":[13,57,79,104,131,145],"healthcare":[14],"with":[15,41,148],"aid":[17],"expert":[19],"tools.":[21],"Recent":[22],"advancements":[23],"LLMs":[25,46,82,149],"have":[26],"made":[27],"more":[29],"accessible":[30],"to":[31,35,38,75,88],"everyday":[32],"users":[33,40,111],"due":[34],"their":[36],"potential":[37],"assist":[39],"complex":[42],"tasks.":[44,153],"However,":[45],"face":[47],"several":[48],"application":[49],"challenges":[50],"within":[51],"end-user":[52,84,151],"planning,":[53],"including":[54],"consistency,":[55],"accuracy,":[56],"user":[58,118,132],"trust":[59],"issues.":[60],"This":[61],"paper":[62],"introduces":[63],"VeriPlan,":[64,123],"a":[65,99,105,117],"system":[66],"that":[67,109],"applies":[68],"formal":[69,143],"verification":[70,114,144],"techniques,":[71],"specifically":[72],"model":[73,106],"checking,":[74],"enhance":[76],"reliability":[78],"flexibility":[80,102],"for":[83,150],"planning.":[85],"In":[86],"addition":[87],"LLM":[90],"planner,":[91],"VeriPlan":[92],"includes":[93],"three":[94],"additional":[95],"core":[96],"features":[97,147],"--":[98,108],"rule":[100],"translator,":[101],"sliders,":[103],"checker":[107],"engage":[110],"process.":[115],"Through":[116],"study":[119],"(n=12),":[120],"we":[121],"evaluate":[122],"demonstrating":[124],"improvements":[125],"perceived":[128],"quality,":[129],"usability,":[130],"satisfaction":[133],"LLMs.":[135],"Our":[136],"work":[137],"shows":[138],"effective":[140],"integration":[141],"user-control":[146]},"counts_by_year":[{"year":2026,"cited_by_count":8},{"year":2025,"cited_by_count":8}],"updated_date":"2026-06-24T13:16:06.693445","created_date":"2025-10-10T00:00:00"}