{"id":"https://openalex.org/W7166658681","doi":"https://doi.org/10.48550/arxiv.2606.29700","title":"Toward Secure and Reliable PDDL Formalization of Large Language Models with Planner-in-the-Loop Feedback","display_name":"Toward Secure and Reliable PDDL Formalization of Large Language Models with Planner-in-the-Loop Feedback","publication_year":2026,"publication_date":"2026-06-29","ids":{"openalex":"https://openalex.org/W7166658681","doi":"https://doi.org/10.48550/arxiv.2606.29700"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.29700","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.29700","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.29700","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109388992","display_name":"Jiamei Jiang","orcid":"https://orcid.org/0009-0002-9096-5844"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jiang, Jiamei","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139709958","display_name":"Jiajing Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Jiajing","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139675938","display_name":"Feifei Mo","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mo, Feifei","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004618782","display_name":"Linjing Li","orcid":"https://orcid.org/0000-0002-8737-099X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Linjing","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5139640503","display_name":"Daniel Zeng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zeng, Daniel","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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.6151000261306763,"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.6151000261306763,"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/T10142","display_name":"Formal Methods in Verification","score":0.08879999816417694,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.04520000144839287,"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/executable","display_name":"Executable","score":0.8479999899864197},{"id":"https://openalex.org/keywords/planner","display_name":"Planner","score":0.6861000061035156},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.5454000234603882},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.47749999165534973},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.4262000024318695},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.4253000020980835},{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.3709999918937683},{"id":"https://openalex.org/keywords/data-integrity","display_name":"Data integrity","score":0.34630000591278076},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.3310000002384186}],"concepts":[{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.8479999899864197},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8180000185966492},{"id":"https://openalex.org/C2776999362","wikidata":"https://www.wikidata.org/wiki/Q2349274","display_name":"Planner","level":2,"score":0.6861000061035156},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.5454000234603882},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.47749999165534973},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4641999900341034},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.4262000024318695},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.4253000020980835},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.3709999918937683},{"id":"https://openalex.org/C33762810","wikidata":"https://www.wikidata.org/wiki/Q461671","display_name":"Data integrity","level":2,"score":0.34630000591278076},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.34459999203681946},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3395000100135803},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.3310000002384186},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.314300000667572},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.310699999332428},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.29760000109672546},{"id":"https://openalex.org/C114073186","wikidata":"https://www.wikidata.org/wiki/Q2631895","display_name":"Automated planning and scheduling","level":2,"score":0.2948000133037567},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.2935999929904938},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.2930000126361847},{"id":"https://openalex.org/C35292069","wikidata":"https://www.wikidata.org/wiki/Q1575458","display_name":"Validator","level":2,"score":0.2912999987602234},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.2784999907016754},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.26589998602867126},{"id":"https://openalex.org/C2781249084","wikidata":"https://www.wikidata.org/wiki/Q908656","display_name":"Preference","level":2,"score":0.25679999589920044},{"id":"https://openalex.org/C187303228","wikidata":"https://www.wikidata.org/wiki/Q867330","display_name":"Cyclomatic complexity","level":3,"score":0.2554999887943268},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.2549000084400177},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2547000050544739},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.2538999915122986},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.25209999084472656},{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.25060001015663147}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.29700","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.29700","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.29700","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.29700","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.5110967755317688,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Planning":[0],"often":[1],"requires":[2],"symbolic":[3],"specifications":[4,71],"that":[5,62,85],"are":[6,176],"both":[7],"executable":[8],"and":[9,49,65,100,123,141,150,174],"verifiable.":[10],"For":[11],"large":[12],"language":[13],"models":[14],"deployed":[15],"in":[16,22,138,167],"autonomous":[17],"or":[18,32,169],"decision-support":[19],"systems,":[20],"failures":[21],"such":[23],"formalization":[24,161],"may":[25],"lead":[26],"to":[27,68],"unverifiable":[28],"decisions,":[29],"execution":[30],"failures,":[31],"unsafe":[33],"downstream":[34],"behavior.":[35],"We":[36,56,111],"present":[37],"NL-PDDL-Bench,":[38],"a":[39,59,81,114],"multi-domain":[40],"benchmark":[41],"for":[42,96,118,162],"natural-language-to-PDDL":[43],"specification":[44,121],"construction":[45],"with":[46,144],"planner-verified":[47],"executability":[48],"controlled":[50],"difficulty":[51,148],"scaling":[52,149],"by":[53],"object":[54],"count.":[55],"further":[57],"propose":[58],"planner-in-the-loop":[60,102],"framework":[61],"uses":[63],"validator":[64],"planner":[66,107,128,139],"diagnostics":[67],"revise":[69],"non-executable":[70],"through":[72],"localized":[73],"edits.":[74],"Building":[75],"on":[76,131],"this":[77],"infrastructure,":[78],"we":[79],"develop":[80],"planner-grounded":[82],"optimization":[83],"recipe":[84],"combines":[86],"parameter-efficient":[87],"Low-Rank":[88],"Adaptation":[89],"supervised":[90],"fine-tuning,":[91],"offline":[92],"planner-derived":[93],"preference":[94],"pairs":[95],"Direct":[97],"Preference":[98],"Optimization,":[99],"inference-time":[101],"repair,":[103],"without":[104],"requiring":[105],"online":[106],"calls":[108],"during":[109],"training.":[110],"also":[112],"provide":[113],"unified":[115],"evaluation":[116],"suite":[117],"parseability,":[119],"solvability,":[120],"similarity,":[122],"outcome-aware":[124],"plan-level":[125,142],"consistency":[126],"against":[127],"references.":[129],"Experiments":[130],"representative":[132],"model":[133],"families":[134],"show":[135],"substantial":[136],"gains":[137],"success":[140],"agreement,":[143],"improved":[145],"robustness":[146],"under":[147],"cross-domain":[151],"variation.":[152],"These":[153],"results":[154],"highlight":[155],"the":[156],"value":[157],"of":[158,165],"externally":[159],"verifiable":[160],"reliable":[163],"deployment":[164],"LLMs":[166],"safety-":[168],"security-sensitive":[170],"planning":[171],"systems.":[172],"Code":[173],"data":[175],"available":[177],"at:":[178],"https://github.com/ibasicplan/NL-PDDL-Bench":[179]},"counts_by_year":[],"updated_date":"2026-07-01T06:29:00.853634","created_date":"2026-07-01T00:00:00"}