{"id":"https://openalex.org/W7166870759","doi":"https://doi.org/10.48550/arxiv.2606.31260","title":"Plan Right, Then Plan Tight: Symbolic RL for Efficient Embodied Reasoning","display_name":"Plan Right, Then Plan Tight: Symbolic RL for Efficient Embodied Reasoning","publication_year":2026,"publication_date":"2026-06-30","ids":{"openalex":"https://openalex.org/W7166870759","doi":"https://doi.org/10.48550/arxiv.2606.31260"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.31260","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.31260","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2606.31260","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5139802206","display_name":"Xiangli Shi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shi, Xiangli","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139745904","display_name":"Xiaomeng Zhu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhu, Xiaomeng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100600477","display_name":"Yi Tian","orcid":"https://orcid.org/0000-0002-0831-6275"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tian, Ye","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101893660","display_name":"Yi Guo","orcid":"https://orcid.org/0009-0006-1890-6726"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Guo, Yuchun","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139769813","display_name":"Ziyang Sun","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sun, Ziyang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111345693","display_name":"Lujie Yin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yin, Lujie","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139832158","display_name":"Yuxuan Zhou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhou, Yuxuan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5126420301","display_name":"Y Huang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Huang, Yufei","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"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/T11714","display_name":"Multimodal Machine Learning Applications","score":0.5056999921798706,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T11714","display_name":"Multimodal Machine Learning Applications","score":0.5056999921798706,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T10462","display_name":"Reinforcement Learning in Robotics","score":0.11580000072717667,"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.0658000037074089,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.680400013923645},{"id":"https://openalex.org/keywords/plan","display_name":"Plan (archaeology)","score":0.6080999970436096},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5781999826431274},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.5723000168800354},{"id":"https://openalex.org/keywords/planner","display_name":"Planner","score":0.5669999718666077},{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.4668000042438507},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.46470001339912415},{"id":"https://openalex.org/keywords/baseline","display_name":"Baseline (sea)","score":0.4634000062942505},{"id":"https://openalex.org/keywords/embodied-cognition","display_name":"Embodied cognition","score":0.4377000033855438}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7473999857902527},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.680400013923645},{"id":"https://openalex.org/C2776505523","wikidata":"https://www.wikidata.org/wiki/Q4785468","display_name":"Plan (archaeology)","level":2,"score":0.6080999970436096},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5781999826431274},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.5723000168800354},{"id":"https://openalex.org/C2776999362","wikidata":"https://www.wikidata.org/wiki/Q2349274","display_name":"Planner","level":2,"score":0.5669999718666077},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.4668000042438507},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.46470001339912415},{"id":"https://openalex.org/C12725497","wikidata":"https://www.wikidata.org/wiki/Q810247","display_name":"Baseline (sea)","level":2,"score":0.4634000062942505},{"id":"https://openalex.org/C100609095","wikidata":"https://www.wikidata.org/wiki/Q1335050","display_name":"Embodied cognition","level":2,"score":0.4377000033855438},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.39079999923706055},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.39070001244544983},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.37860000133514404},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.36570000648498535},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.3621000051498413},{"id":"https://openalex.org/C189645446","wikidata":"https://www.wikidata.org/wiki/Q350865","display_name":"Mirroring","level":2,"score":0.35249999165534973},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.35030001401901245},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.3483000099658966},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.33090001344680786},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.31929999589920044},{"id":"https://openalex.org/C2780154230","wikidata":"https://www.wikidata.org/wiki/Q513420","display_name":"Undo","level":2,"score":0.3107999861240387},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.2946000099182129},{"id":"https://openalex.org/C22367795","wikidata":"https://www.wikidata.org/wiki/Q7625208","display_name":"Structured prediction","level":2,"score":0.28929999470710754},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.28439998626708984},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.2833000123500824},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.27799999713897705},{"id":"https://openalex.org/C112758219","wikidata":"https://www.wikidata.org/wiki/Q16038819","display_name":"Duration (music)","level":2,"score":0.2700999975204468},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2671000063419342},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.263700008392334},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.2526000142097473},{"id":"https://openalex.org/C79516417","wikidata":"https://www.wikidata.org/wiki/Q1376168","display_name":"Memoization","level":4,"score":0.2524999976158142},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.25049999356269836}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.31260","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.31260","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2606.31260","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.31260","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"score":0.672469437122345,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Embodied":[0],"task":[1],"planning":[2],"asks":[3],"an":[4,12,66,127],"agent":[5],"to":[6,63,76,227],"turn":[7],"a":[8,18,23,43,97,113,131,146,158,191,199],"natural-language":[9],"instruction":[10],"into":[11],"executable":[13],"sequence":[14],"of":[15,180,194],"actions":[16],"in":[17,53],"physical":[19],"scene,":[20],"and":[21,29,34,80,121,130,169,184,233],"is":[22,51,60,73],"building":[24],"block":[25],"for":[26,82,116],"household,":[27],"assistive,":[28],"service":[30],"robots.":[31],"Recent":[32],"prompting-based":[33],"reinforcement-learning":[35],"planners":[36,84],"generate":[37],"fluent":[38],"action":[39],"text":[40],"but":[41],"lack":[42],"cheap":[44],"deterministic":[45],"check":[46],"that":[47,96,150,162],"the":[48,54,152,178,181,187,205,211,221],"produced":[49],"plan":[50,119],"valid":[52],"target":[55],"world,":[56],"while":[57,218],"high-fidelity":[58],"simulation":[59],"too":[61],"slow":[62],"serve":[64,111],"as":[65,112,157,172],"inner-loop":[67],"training":[68],"signal.":[69],"The":[70],"general":[71],"problem":[72],"therefore":[74],"how":[75],"obtain":[77],"verifiable":[78],"supervision":[79],"rewards":[81],"embodied":[83],"without":[85],"relying":[86],"on":[87,196],"string-level":[88],"matching":[89],"or":[90,107],"full":[91],"simulation.":[92],"Here":[93],"we":[94],"show":[95],"single":[98],"BDDL":[99],"specification,":[100],"automatically":[101,170],"constructed":[102],"from":[103],"open-world":[104],"video":[105],"evidence":[106],"curated":[108],"tasks,":[109],"can":[110],"shared":[114],"interface":[115],"data":[117],"construction,":[118],"verification,":[120],"reward":[122],"design.":[123],"A":[124],"video-to-BDDL":[125],"parser,":[126],"LLM":[128],"verifier,":[129],"lightweight":[132],"symbolic":[133],"engine":[134],"together":[135],"supply":[136],"dense":[137],"feedback":[138],"at":[139],"millisecond":[140],"latency.":[141],"We":[142],"further":[143],"introduce":[144],"GroupAdapt,":[145],"difficulty-aware":[147],"length":[148,167,223],"schedule":[149],"uses":[151],"in-batch":[153],"group":[154],"pass":[155,174],"rate":[156,175],"zero-cost":[159],"signal":[160],"so":[161],"hard":[163],"prompts":[164],"get":[165],"wider":[166],"tolerance":[168],"tighten":[171],"their":[173],"improves.":[176],"Under":[177],"guidance":[179],"proposed":[182],"verifier":[183],"GroupAdapt":[185],"schedule,":[186],"8B":[188],"planner":[189],"attains":[190],"Strict-Pass":[192],"score":[193],"97.3":[195],"BEHAVIOR-1000,":[197],"yielding":[198],"25.9":[200],"percent":[201,226],"relative":[202],"improvement":[203],"over":[204],"Qwen3-8B":[206],"baseline.":[207],"This":[208],"result":[209],"exceeds":[210],"strongest":[212],"large-model":[213],"baseline":[214],"by":[215,224],"3.5":[216],"percent,":[217],"simultaneously":[219],"compressing":[220],"response":[222],"79":[225],"207":[228],"tokens,":[229],"demonstrating":[230],"both":[231],"effectiveness":[232],"efficiency.":[234]},"counts_by_year":[],"updated_date":"2026-07-02T06:18:51.028212","created_date":"2026-07-02T00:00:00"}