{"id":"https://openalex.org/W7160276511","doi":"https://doi.org/10.48550/arxiv.2605.02765","title":"U-Define: Designing User Workflows for Hard and Soft Constraints in LLM-Based Planning","display_name":"U-Define: Designing User Workflows for Hard and Soft Constraints in LLM-Based Planning","publication_year":2026,"publication_date":"2026-05-04","ids":{"openalex":"https://openalex.org/W7160276511","doi":"https://doi.org/10.48550/arxiv.2605.02765"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.02765","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.02765","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.02765","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":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lee, Christine P","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133717437","display_name":"Xinyu Jessica Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Xinyu Jessica","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135418309","display_name":"Aws Albarghouthi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Albarghouthi, Aws","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135336242","display_name":"David Porfirio","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Porfirio, David","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5135292779","display_name":"Bilge Mutlu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mutlu, Bilge","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13197","display_name":"Spreadsheets and End-User Computing","score":0.5277000069618225,"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"}},"topics":[{"id":"https://openalex.org/T13197","display_name":"Spreadsheets and End-User Computing","score":0.5277000069618225,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.06939999759197235,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.05480000004172325,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.7182000279426575},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.6783999800682068},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5734999775886536},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5584999918937683},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.45320001244544983},{"id":"https://openalex.org/keywords/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.37869998812675476},{"id":"https://openalex.org/keywords/categorization","display_name":"Categorization","score":0.350600004196167}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.781000018119812},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.7182000279426575},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.6783999800682068},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5734999775886536},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5584999918937683},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.49950000643730164},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.45320001244544983},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3833000063896179},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.37869998812675476},{"id":"https://openalex.org/C94124525","wikidata":"https://www.wikidata.org/wiki/Q912550","display_name":"Categorization","level":2,"score":0.350600004196167},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.3353999853134155},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.3328999876976013},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.31850001215934753},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.3176000118255615},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.30649998784065247},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.2906000018119812},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.28299999237060547},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.2711000144481659},{"id":"https://openalex.org/C8505890","wikidata":"https://www.wikidata.org/wiki/Q605095","display_name":"Budget constraint","level":2,"score":0.26420000195503235},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.2535000145435333}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.02765","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.02765","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.02765","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.02765","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"LLMs":[0],"are":[1,53],"increasingly":[2],"used":[3],"for":[4,143,149,183],"end-user":[5],"task":[6],"planning,":[7],"yet":[8,186],"their":[9],"black-box":[10],"nature":[11],"limits":[12],"users'":[13],"ability":[14],"to":[15,37,42,74],"ensure":[16],"reliability":[17],"and":[18,56,87,99,115,146,156,161,174],"control.":[19],"While":[20],"recent":[21],"systems":[22],"incorporate":[23],"verification":[24,92],"techniques,":[25],"it":[26],"remains":[27],"unclear":[28],"how":[29,64],"users":[30,70,95,109],"can":[31,67],"effectively":[32],"apply":[33],"such":[34],"rigid":[35],"constraints":[36,52,73,111,145],"represent":[38],"intent":[39],"or":[40,127],"adapt":[41],"real-world":[43],"variability.":[44],"For":[45],"example,":[46],"prior":[47],"work":[48],"finds":[49],"that":[50,107,122,130,166],"hard-only":[51],"too":[54],"rigid,":[55],"numeric":[57],"flexibility":[58],"weights":[59],"confuse":[60],"users.":[61],"We":[62,102],"investigate":[63],"interaction":[65],"workflows":[66],"better":[68],"support":[69],"in":[71,112],"applying":[72],"guide":[75],"LLM-generated":[76],"plans,":[77],"examining":[78],"whether":[79],"abstracting":[80],"strictness":[81],"into":[82],"high-level":[83],"types":[84,136,169],"(i.e.,":[85],"hard":[86,120,144],"soft)":[88],"paired":[89],"with":[90,159],"distinct":[91],"mechanisms":[93],"helps":[94],"more":[96],"reliably":[97],"express":[98],"align":[100],"intent.":[101],"present":[103],"U-Define,":[104],"a":[105,153],"system":[106],"lets":[108],"define":[110],"natural":[113],"language":[114],"categorize":[116],"them":[117],"as":[118],"either":[119],"rules":[121],"must":[123],"not":[124],"be":[125],"violated":[126],"soft":[128,150],"preferences":[129],"allow":[131],"flexibility.":[132],"U-Define":[133],"verifies":[134],"these":[135],"through":[137],"complementary":[138],"methods:":[139],"formal":[140],"model":[141],"checking":[142],"LLM-as-judge":[147],"evaluation":[148,155],"ones.":[151],"Through":[152],"technical":[154],"user":[157],"studies":[158],"general":[160],"expert":[162],"participants,":[163],"we":[164],"find":[165],"user-defined":[167],"constraint":[168],"improve":[170],"perceived":[171],"usefulness,":[172],"performance,":[173],"satisfaction":[175],"while":[176],"maintaining":[177],"usability.":[178],"These":[179],"findings":[180],"provide":[181],"insights":[182],"designing":[184],"flexible":[185],"reliable":[187],"constraint-based":[188],"workflows.":[189]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-05-06T00:00:00"}