{"id":"https://openalex.org/W7204778600","doi":"https://doi.org/10.48550/arxiv.2608.28147","title":"Post-Edit Re-Verification in Simulator-Backed Engineering Agents: A Controlled Comparison of Verification-Cadence Guidance","display_name":"Post-Edit Re-Verification in Simulator-Backed Engineering Agents: A Controlled Comparison of Verification-Cadence Guidance","publication_year":2026,"publication_date":"2026-08-28","ids":{"openalex":"https://openalex.org/W7204778600","doi":"https://doi.org/10.48550/arxiv.2608.28147"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2608.28147","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.28147","pdf_url":"https://arxiv.org/pdf/2608.28147","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/2608.28147","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027559016","display_name":"Qiuju Zhu","orcid":"https://orcid.org/0009-0006-6479-1165","observed_orcids":["https://orcid.org/0009-0006-6479-1165"]},"institutions":[{"id":"https://openalex.org/I106994412","display_name":"Sinopec (China)","ror":"https://ror.org/0161q6d74","country_code":"CN","type":"company","lineage":["https://openalex.org/I106994412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhu, Qingchuan","raw_affiliation_strings":["Sinopec Petroleum Engineering Zhongyuan Co., Ltd. , No. 33 Zhengguang North Street , Zhengdong New District , Zhengzhou , Henan , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Sinopec Petroleum Engineering Zhongyuan Co., Ltd. , No. 33 Zhengguang North Street , Zhengdong New District , Zhengzhou , Henan , China","institution_ids":["https://openalex.org/I106994412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5148764588","display_name":"Shuyue Tong","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I106994412","display_name":"Sinopec (China)","ror":"https://ror.org/0161q6d74","country_code":"CN","type":"company","lineage":["https://openalex.org/I106994412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tong, Shuyue","raw_affiliation_strings":["Sinopec Petroleum Engineering Zhongyuan Co., Ltd. , No. 33 Zhengguang North Street , Zhengdong New District , Zhengzhou , Henan , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Sinopec Petroleum Engineering Zhongyuan Co., Ltd. , No. 33 Zhengguang North Street , Zhengdong New District , Zhengzhou , Henan , China","institution_ids":["https://openalex.org/I106994412"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5148819968","display_name":"Pengju Ren","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ren, Pengju","raw_affiliation_strings":["Xi'an Jiaotong University , No. 28 Xianning West Road , Xi'an , Shaanxi 710049 , P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Xi'an Jiaotong University , No. 28 Xianning West Road , Xi'an , Shaanxi 710049 , P.R. China","institution_ids":["https://openalex.org/I87445476"]}]}],"institutions":[],"countries_distinct_count":1,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.17239999771118164,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.17239999771118164,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.14149999618530273,"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/T13904","display_name":"Artificial Intelligence Applications","score":0.07729999721050262,"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/dwsim","display_name":"DWSIM","score":0.6119999885559082},{"id":"https://openalex.org/keywords/llm-agent-evaluation","display_name":"LLM agent evaluation","score":0.3370000123977661}],"concepts":[{"id":"https://openalex.org/C2777125575","wikidata":"https://www.wikidata.org/wiki/Q14088448","display_name":"Cadence","level":2,"score":0.9120000004768372},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.7325999736785889},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.511900007724762},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.35040000081062317},{"id":"https://openalex.org/C34972735","wikidata":"https://www.wikidata.org/wiki/Q2920267","display_name":"Engineering design process","level":2,"score":0.3391999900341034},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3034000098705292},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.30239999294281006},{"id":"https://openalex.org/C143724316","wikidata":"https://www.wikidata.org/wiki/Q312468","display_name":"Series (stratigraphy)","level":2,"score":0.2912999987602234},{"id":"https://openalex.org/C90329073","wikidata":"https://www.wikidata.org/wiki/Q914232","display_name":"Ask price","level":2,"score":0.29019999504089355},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.26190000772476196},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2524000108242035}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2608.28147","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.28147","pdf_url":"https://arxiv.org/pdf/2608.28147","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.2608.28147","doi":"https://doi.org/10.48550/arxiv.2608.28147","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.28147","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:2608.28147","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.28147","pdf_url":"https://arxiv.org/pdf/2608.28147","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":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7204778600.pdf","grobid_xml":"https://content.openalex.org/works/W7204778600.grobid-xml"},"referenced_works_count":9,"referenced_works":["https://openalex.org/W4396723768","https://openalex.org/W4416588281","https://openalex.org/W7119107150","https://openalex.org/W7133214447","https://openalex.org/W7133236450","https://openalex.org/W7137939253","https://openalex.org/W7160935534","https://openalex.org/W7161123612","https://openalex.org/W7165789035"],"related_works":["https://openalex.org/W7172341856","https://openalex.org/W7214965235","https://openalex.org/W2749950389","https://openalex.org/W2752022641","https://openalex.org/W1532346639","https://openalex.org/W7169866223","https://openalex.org/W7204088729","https://openalex.org/W7223158373","https://openalex.org/W3022236663","https://openalex.org/W7166022503"],"abstract_inverted_index":{"Engineering":[0],"agents":[1],"that":[2,61,81],"interact":[3],"with":[4,13,179],"external":[5],"simulators":[6],"may":[7],"need":[8],"to":[9,48],"coordinate":[10],"design":[11],"modification":[12],"reacquisition":[14],"of":[15,194],"engineering":[16],"evidence":[17,83],"for":[18],"the":[19,90,192],"modified":[20],"state.":[21],"We":[22],"ask":[23],"whether":[24],"first":[25],"post-edit":[26,74,174],"re-verification":[27,154],"changes":[28],"when":[29],"explicit":[30,173,199],"verification-cadence":[31,175],"guidance":[32,176],"is":[33],"retained":[34,45],"versus":[35,130,139,149],"omitted":[36],"while":[37],"verification-relevant":[38],"state/facts":[39],"are":[40],"held":[41],"constant.":[42],"Cadence-Guided":[43],"(CG)":[44],"an":[46,198],"instruction":[47],"request":[49],"a":[50,54,66],"new":[51],"simulation":[52],"after":[53],"substantive":[55],"modification,":[56],"whereas":[57],"Cadence-Omitted":[58],"(CO)":[59],"removed":[60],"instruction;":[62],"neither":[63],"condition":[64],"used":[65],"hard":[67],"gate.":[68],"The":[69],"study":[70],"therefore":[71],"measures":[72],"instruction-conditioned":[73],"verification-policy":[75],"adherence":[76],"rather":[77],"than":[78],"spontaneous":[79],"recognition":[80],"prior":[82],"has":[84],"become":[85],"stale.":[86],"Using":[87],"DWSIM":[88],"as":[89,197],"simulator":[91],"backend":[92],"and":[93,141,158,162,185],"continuous":[94],"valve-pressure":[95],"adjustment,":[96],"five":[97],"Alibaba/Qwen":[98],"models":[99],"were":[100],"evaluated":[101],"on":[102],"eight":[103],"synthetic":[104],"cases;":[105],"each":[106],"model-case-condition":[107],"combination":[108],"was":[109,124,145,177],"executed":[110],"three":[111],"times":[112],"via":[113],"live":[114],"API":[115],"calls,":[116],"yielding":[117],"120":[118],"evaluation":[119],"slots":[120,129],"per":[121],"condition.":[122,168],"Re-verification":[123],"observed":[125],"in":[126,137,147,156,160,166],"94/120":[127],"CG":[128,157],"32/120":[131],"CO":[132],"slots;":[133],"cadence":[134,183,196],"violations":[135],"occurred":[136],"26/120":[138],"87/120;":[140],"bounded":[142,171,188],"final":[143,164,189],"success":[144,165],"reached":[146],"95/120":[148],"35/120.":[150],"qwen3.5-35b-a3b":[151],"showed":[152],"minimal":[153],"(1/24":[155],"0/24":[159],"CO)":[161],"no":[163],"either":[167],"Within":[169],"this":[170],"protocol,":[172],"associated":[178],"more":[180,186],"re-verification,":[181],"fewer":[182],"violations,":[184],"frequent":[187],"success,":[190],"supporting":[191],"treatment":[193],"verification":[195],"interaction-protocol":[200],"component.":[201]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-01T00:00:00"}