{"id":"https://openalex.org/W7224102430","doi":"https://doi.org/10.48550/arxiv.2610.36595","title":"Learning to Formalize: Bridging Open-Ended Workloads and Fast Decision Models","display_name":"Learning to Formalize: Bridging Open-Ended Workloads and Fast Decision Models","publication_year":2026,"publication_date":"2026-10-27","ids":{"openalex":"https://openalex.org/W7224102430","doi":"https://doi.org/10.48550/arxiv.2610.36595"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2610.36595","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.36595","pdf_url":"https://arxiv.org/pdf/2610.36595","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":null,"license_id":null,"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/2610.36595","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5159990658","display_name":"Chengxuan Pei","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I177725633","display_name":"Chinese University of Hong Kong","ror":"https://ror.org/00t33hh48","country_code":"HK","type":"education","lineage":["https://openalex.org/I177725633"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Pei, Chengxuan","raw_affiliation_strings":["CUHK-Shenzhen"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CUHK-Shenzhen","institution_ids":["https://openalex.org/I177725633"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5160003001","display_name":"Ziyao Wang","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I177725633","display_name":"Chinese University of Hong Kong","ror":"https://ror.org/00t33hh48","country_code":"HK","type":"education","lineage":["https://openalex.org/I177725633"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Wang, Ziyao","raw_affiliation_strings":["CUHK-Shenzhen"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CUHK-Shenzhen","institution_ids":["https://openalex.org/I177725633"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5160030868","display_name":"Teng Mei","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Mei, Teng","raw_affiliation_strings":["University of Tokyo"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Tokyo","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5160044361","display_name":"Zhe Li","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Zhe","raw_affiliation_strings":["Kunlunxin Corporation"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Kunlunxin Corporation","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.4894999861717224,"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.4894999861717224,"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/T10653","display_name":"Robot Manipulation and Learning","score":0.19779999554157257,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.06780000030994415,"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/decision-models","display_name":"decision models","score":0.6779999732971191},{"id":"https://openalex.org/keywords/large-language-models","display_name":"large language models","score":0.8349999785423279},{"id":"https://openalex.org/keywords/jev","display_name":"Jev","score":0.36399999260902405},{"id":"https://openalex.org/keywords/motion-planning","display_name":"motion planning","score":0.3610000014305115},{"id":"https://openalex.org/keywords/decision-time","display_name":"decision time","score":0.3109999895095825},{"id":"https://openalex.org/keywords/task-success-rate","display_name":"task success rate","score":0.33899998664855957}],"concepts":[{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.7971000075340271},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7670000195503235},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5976999998092651},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5705999732017517},{"id":"https://openalex.org/C59594135","wikidata":"https://www.wikidata.org/wiki/Q5249242","display_name":"Decision model","level":2,"score":0.5627999901771545},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4733999967575073},{"id":"https://openalex.org/C39890363","wikidata":"https://www.wikidata.org/wiki/Q36108","display_name":"Generative grammar","level":2,"score":0.44920000433921814},{"id":"https://openalex.org/C82876162","wikidata":"https://www.wikidata.org/wiki/Q17096504","display_name":"Latency (audio)","level":2,"score":0.43880000710487366},{"id":"https://openalex.org/C167966045","wikidata":"https://www.wikidata.org/wiki/Q5532625","display_name":"Generative model","level":3,"score":0.4300000071525574},{"id":"https://openalex.org/C100776233","wikidata":"https://www.wikidata.org/wiki/Q2532492","display_name":"Bridge (graph theory)","level":2,"score":0.4196000099182129},{"id":"https://openalex.org/C175154964","wikidata":"https://www.wikidata.org/wiki/Q380077","display_name":"Task analysis","level":3,"score":0.3546000123023987},{"id":"https://openalex.org/C137293760","wikidata":"https://www.wikidata.org/wiki/Q3621696","display_name":"Language model","level":2,"score":0.3528999984264374},{"id":"https://openalex.org/C28901747","wikidata":"https://www.wikidata.org/wiki/Q177571","display_name":"Decision theory","level":2,"score":0.33320000767707825},{"id":"https://openalex.org/C156201811","wikidata":"https://www.wikidata.org/wiki/Q5418360","display_name":"Evidential reasoning approach","level":4,"score":0.3319000005722046},{"id":"https://openalex.org/C3019813237","wikidata":"https://www.wikidata.org/wiki/Q65089264","display_name":"Model validation","level":2,"score":0.3278999924659729},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.3003000020980835},{"id":"https://openalex.org/C84839998","wikidata":"https://www.wikidata.org/wiki/Q5249245","display_name":"Decision rule","level":2,"score":0.2892000079154968},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.2809000015258789},{"id":"https://openalex.org/C107327155","wikidata":"https://www.wikidata.org/wiki/Q330268","display_name":"Decision support system","level":2,"score":0.2718000113964081},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.27079999446868896},{"id":"https://openalex.org/C48677424","wikidata":"https://www.wikidata.org/wiki/Q6888088","display_name":"Mode (computer interface)","level":2,"score":0.2687999904155731},{"id":"https://openalex.org/C51632099","wikidata":"https://www.wikidata.org/wiki/Q3985153","display_name":"Training set","level":2,"score":0.262800008058548},{"id":"https://openalex.org/C16910744","wikidata":"https://www.wikidata.org/wiki/Q7705759","display_name":"Test data","level":2,"score":0.2612999975681305}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2610.36595","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.36595","pdf_url":"https://arxiv.org/pdf/2610.36595","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2610.36595","doi":"https://doi.org/10.48550/arxiv.2610.36595","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2610.36595","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2610.36595","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.36595","pdf_url":"https://arxiv.org/pdf/2610.36595","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":null,"license_id":null,"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/W7224102430.pdf","grobid_xml":"https://content.openalex.org/works/W7224102430.grobid-xml"},"referenced_works_count":6,"referenced_works":["https://openalex.org/W4224912544","https://openalex.org/W4385403811","https://openalex.org/W4399695759","https://openalex.org/W4414939355","https://openalex.org/W7216480538","https://openalex.org/W7221113652"],"related_works":["https://openalex.org/W7223018858","https://openalex.org/W7221775329","https://openalex.org/W7222441141","https://openalex.org/W7221754031","https://openalex.org/W7221664899","https://openalex.org/W7213996394","https://openalex.org/W7216480538","https://openalex.org/W7214604970","https://openalex.org/W7223858516","https://openalex.org/W7220695505"],"abstract_inverted_index":{"Decision":[0],"models":[1,13],"offer":[2],"fast":[3],"choices":[4],"over":[5],"sup-":[6],"plied":[7],"alternatives,":[8],"while":[9],"general-purpose":[10],"large":[11],"language":[12],"interpret":[14],"open-ended":[15],"tasks":[16],"through":[17],"flexible":[18],"generation":[19],"and":[20,41,74,146],"reasoning":[21],"at":[22,131],"the":[23,138,147,161],"cost":[24],"of":[25],"sequential":[26],"decoding.":[27],"Many":[28],"work-":[29],"loads":[30],"expect":[31],"a":[32,55,75,113,124],"generative":[33],"backend":[34],"to":[35,152],"determine":[36],"what":[37],"can":[38,129],"be":[39],"done":[40],"therefore":[42],"provide":[43],"no":[44],"well-defined":[45],"candidate":[46,57],"list.":[47],"We":[48],"bridge":[49],"this":[50],"in-":[51],"terface":[52],"gap":[53],"with":[54,87,100,105,137,142,160],"small":[56],"formalizer":[58,65],"trained":[59],"on":[60,91,117],"offline":[61],"teacher-generated":[62],"lists.":[63],"The":[64],"constructs":[66],"explicit,":[67],"validated":[68],"alter-":[69],"natives":[70],"from":[71],"task":[72,134],"context,":[73],"frozen":[76],"deci-":[77],"sion":[78],"model":[79,128],"selects":[80],"an":[81],"entry.":[82],"A":[83],"motivating":[84],"com-":[85],"parison":[86],"official":[88],"TypeSafe":[89],"Jev-1.13.0":[90],"200":[92],"CALVIN-D":[93,119],"test":[94],"episodes":[95],"reports":[96],"11%":[97],"suc-":[98],"cess":[99],"generic":[101],"motions":[102],"versus":[103],"46.5%":[104],"DeepSeek":[106],"V4":[107],"Flash":[108],"pose":[109],"candidates.":[110],"Sepa-":[111],"rately,":[112],"six-arm":[114],"privileged-state":[115],"evaluation":[116],"1,011":[118],"validation":[120],"annotations":[121],"finds":[122],"that":[123],"locally":[125],"deployed":[126],"decision":[127],"achieve":[130],"most":[132],"52.6%":[133],"success":[135],"rate":[136],"fine-tuned":[139],"formalizer,":[140],"compared":[141],"11.8%":[143],"without":[144],"it,":[145],"end-to-end":[148],"latency":[149],"is":[150,157],"kept":[151],"2.09":[153],"s,":[154],"whereas":[155],"Qwen3.5-27B":[156],"3.67":[158],"s":[159],"exact":[162],"experiment":[163],"setting.":[164]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-10-29T00:00:00"}