{"id":"https://openalex.org/W7168242543","doi":"https://doi.org/10.48550/arxiv.2607.09706","title":"YUKTI: From Natural-Language Situations to Robust, Verifiable Decisions An Uncertainty-Typed Proposition IR, Assumption-Robust Pareto Frontiers, and a Regret Certificate","display_name":"YUKTI: From Natural-Language Situations to Robust, Verifiable Decisions An Uncertainty-Typed Proposition IR, Assumption-Robust Pareto Frontiers, and a Regret Certificate","publication_year":2026,"publication_date":"2026-06-22","ids":{"openalex":"https://openalex.org/W7168242543","doi":"https://doi.org/10.48550/arxiv.2607.09706"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2607.09706","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2607.09706","pdf_url":"https://arxiv.org/pdf/2607.09706","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2607.09706","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5133276172","display_name":"Suyash Mishra","orcid":"https://orcid.org/0009-0000-4231-9691","observed_orcids":["https://orcid.org/0009-0000-4231-9691"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Mishra, Suyash","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5133276172"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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/T11413","display_name":"Risk and Portfolio Optimization","score":0.15780000388622284,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11413","display_name":"Risk and Portfolio Optimization","score":0.15780000388622284,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10050","display_name":"Multi-Criteria Decision Making","score":0.14390000700950623,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10315","display_name":"Decision-Making and Behavioral Economics","score":0.09189999848604202,"subfield":{"id":"https://openalex.org/subfields/1800","display_name":"General Decision Sciences"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/multi-objective-optimization","display_name":"multi-objective optimization","score":0.703000009059906},{"id":"https://openalex.org/keywords/pareto-front","display_name":"Pareto front","score":0.8029999732971191},{"id":"https://openalex.org/keywords/regret-bounds","display_name":"regret bounds","score":0.5249999761581421},{"id":"https://openalex.org/keywords/epsilon-contamination","display_name":"epsilon-contamination","score":0.7979999780654907},{"id":"https://openalex.org/keywords/coefficient-uncertainty","display_name":"coefficient uncertainty","score":0.5630000233650208},{"id":"https://openalex.org/keywords/decision-traceability","display_name":"decision traceability","score":0.5730000138282776},{"id":"https://openalex.org/keywords/robust-optimization","display_name":"robust optimization","score":0.3619999885559082}],"concepts":[{"id":"https://openalex.org/C50817715","wikidata":"https://www.wikidata.org/wiki/Q79895177","display_name":"Regret","level":2,"score":0.7763000130653381},{"id":"https://openalex.org/C153180980","wikidata":"https://www.wikidata.org/wiki/Q19776675","display_name":"Commit","level":2,"score":0.5909000039100647},{"id":"https://openalex.org/C137635306","wikidata":"https://www.wikidata.org/wiki/Q182667","display_name":"Pareto principle","level":2,"score":0.5400000214576721},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.44449999928474426},{"id":"https://openalex.org/C6177178","wikidata":"https://www.wikidata.org/wiki/Q10998070","display_name":"Discounting","level":2,"score":0.43309998512268066},{"id":"https://openalex.org/C2777632111","wikidata":"https://www.wikidata.org/wiki/Q1937518","display_name":"Reservation","level":2,"score":0.41499999165534973},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.39340001344680786},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.39309999346733093},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.3806999921798706},{"id":"https://openalex.org/C2778599509","wikidata":"https://www.wikidata.org/wiki/Q36829","display_name":"Pareto efficiency","level":3,"score":0.3684000074863434},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.3573000133037567},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.35370001196861267},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.33410000801086426},{"id":"https://openalex.org/C195487862","wikidata":"https://www.wikidata.org/wiki/Q850210","display_name":"Revenue","level":2,"score":0.3255999982357025},{"id":"https://openalex.org/C148220186","wikidata":"https://www.wikidata.org/wiki/Q7111912","display_name":"Outcome (game theory)","level":2,"score":0.3156000077724457},{"id":"https://openalex.org/C774472","wikidata":"https://www.wikidata.org/wiki/Q6760393","display_name":"Margin (machine learning)","level":2,"score":0.3125999867916107},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.31049999594688416},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.305400013923645},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.3043000102043152},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.30410000681877136},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.2978000044822693},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.2971000075340271},{"id":"https://openalex.org/C91810955","wikidata":"https://www.wikidata.org/wiki/Q7731670","display_name":"Incentive compatibility","level":3,"score":0.2919999957084656},{"id":"https://openalex.org/C127729010","wikidata":"https://www.wikidata.org/wiki/Q60165","display_name":"Dynamic inconsistency","level":2,"score":0.2863999903202057},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.28619998693466187},{"id":"https://openalex.org/C2781426361","wikidata":"https://www.wikidata.org/wiki/Q5326940","display_name":"Earnings","level":2,"score":0.28110000491142273},{"id":"https://openalex.org/C149782125","wikidata":"https://www.wikidata.org/wiki/Q160039","display_name":"Econometrics","level":1,"score":0.26840001344680786},{"id":"https://openalex.org/C123650614","wikidata":"https://www.wikidata.org/wiki/Q282491","display_name":"Strategic dominance","level":2,"score":0.2605000138282776},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.2596000134944916}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2607.09706","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2607.09706","pdf_url":"https://arxiv.org/pdf/2607.09706","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2607.09706","doi":"https://doi.org/10.48550/arxiv.2607.09706","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.09706","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2607.09706","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2607.09706","pdf_url":"https://arxiv.org/pdf/2607.09706","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7168242543.pdf","grobid_xml":"https://content.openalex.org/works/W7168242543.grobid-xml"},"referenced_works_count":13,"referenced_works":["https://openalex.org/W3099283814","https://openalex.org/W3162387221","https://openalex.org/W4386554921","https://openalex.org/W4391900164","https://openalex.org/W4401201897","https://openalex.org/W4404809951","https://openalex.org/W4410192806","https://openalex.org/W4414886187","https://openalex.org/W4415251266","https://openalex.org/W7131319898","https://openalex.org/W7134953399","https://openalex.org/W7160298108","https://openalex.org/W7162692772"],"related_works":["https://openalex.org/W7165755678","https://openalex.org/W3163195047","https://openalex.org/W54192392","https://openalex.org/W7214765994","https://openalex.org/W4415190961","https://openalex.org/W7095498528","https://openalex.org/W2023156688","https://openalex.org/W7140025164","https://openalex.org/W7203783480","https://openalex.org/W7219605362"],"abstract_inverted_index":{"Language":[0],"models":[1],"turn":[2],"a":[3,7,20,52,77,103,128,143,170,175,182,194,212,257,260,276],"worded":[4],"situation":[5],"into":[6],"numeric":[8],"plan,":[9],"and":[10,23,51,87,107,141,163,186,192,211,241],"the":[11,42,57,70,158,188,205,220,238,248,266],"dominant":[12],"pipelines":[13],"(NL4Opt,":[14],"OptiMUS,":[15],"ORLM,":[16],"OR-LLM-Agent)":[17],"commit":[18],"to":[19,93,118],"single":[21],"objective":[22],"point-valued":[24],"coefficients,":[25],"then":[26],"solve":[27],"once.":[28],"For":[29],"decisions":[30,200],"that":[31,39],"allocate":[32],"real":[33,195],"budget,":[34],"effort,":[35],"or":[36,97],"clinical":[37],"attention,":[38],"confidence":[40],"is":[41,48,62,76,256],"failure":[43],"mode:":[44],"every":[45],"objectified":[46],"number":[47],"an":[49,94,132,201,235,254],"assumption,":[50],"plan":[53],"optimal":[54],"only":[55],"if":[56],"guesses":[58],"are":[59,225],"exactly":[60],"right":[61],"fragile":[63],"--":[64,253],"mimicry":[65],"of":[66,72,135,198,251],"computation.":[67],"YUKTI":[68,89,252],"changes":[69],"target":[71],"autoformulation.":[73],"Its":[74],"representation":[75],"typed-proposition":[78],"graph":[79],"whose":[80],"relationships":[81],"carry":[82],"shape":[83],"priors,":[84],"coefficient":[85],"uncertainty,":[86],"provenance.":[88],"routes":[90],"each":[91,122],"stage":[92],"exact,":[95],"nonlinear,":[96],"evolutionary":[98],"solver;":[99],"couples":[100],"stages":[101],"by":[102,166,209,216],"distributional":[104],"Pareto":[105,110],"hand-off;":[106],"introduces":[108],"Assumption-Robust":[109],"Frontiers":[111],"(ARPF),":[112],"resampling":[113],"assumptions":[114],"(including":[115],"structural":[116],"epsilon-contamination)":[117],"score":[119],"how":[120],"often":[121],"action":[123,184],"survives":[124],"(rho).":[125],"We":[126,151],"prove":[127],"bound":[129],"making":[130],"rho":[131],"exact":[133],"factor":[134],"decision":[136,178],"regret,":[137],"add":[138],"auditable":[139],"traceability,":[140],"synthesize":[142],"benchmark-faithful":[144],"data":[145],"foundation":[146],"when":[147],"none":[148],"exists":[149],"(SRJANA).":[150],"validate":[152],"three":[153],"ways:":[154],"under":[155],"controlled":[156],"misspecification":[157],"robust":[159],"compromise":[160],"cuts":[161],"mean":[162],"tail":[164],"regret":[165,250],"over":[167],"90%":[168],"versus":[169],"naive":[171,213],"point":[172,214],"plan;":[173],"on":[174,193],"regulated":[176],"commercial":[177],"we":[179,227],"optimize":[180],"inside":[181],"lawful":[183],"space":[185],"price":[187],"downside":[189],"in":[190],"euros;":[191],"public":[196],"dataset":[197],"41,188":[199],"out-of-sample":[202],"backtest":[203],"beats":[204],"logged":[206],"status":[207],"quo":[208],"34%":[210],"rule":[215],"4%":[217],"while":[218],"reducing":[219],"optimizer's":[221],"curse.":[222],"The":[223],"solvers":[224],"standard;":[226],"claim":[228],"no":[229],"benchmark-SOTA":[230],"win.":[231],"A":[232],"head-to-head":[233],"shows":[234],"LLM":[236,255],"given":[237],"correct":[239],"numbers,":[240],"single-objective":[242],"optimization,":[243],"both":[244],"incur":[245],"about":[246],"47x":[247],"held-out":[249],"formulator,":[258],"not":[259],"solver.":[261],"Under":[262],"long-range":[263],"causal":[264,278],"coupling,":[265],"forward":[267],"hand-off":[268],"becomes":[269],"unsound,":[270],"locating":[271],"where":[272],"it":[273],"must":[274],"become":[275],"backward-induction":[277],"policy.":[279]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-07-15T00:00:00"}