{"id":"https://openalex.org/W7133298477","doi":"https://doi.org/10.48550/arxiv.2603.00540","title":"LOGIGEN: Logic-Driven Generation of Verifiable Agentic Tasks","display_name":"LOGIGEN: Logic-Driven Generation of Verifiable Agentic Tasks","publication_year":2026,"publication_date":"2026-02-28","ids":{"openalex":"https://openalex.org/W7133298477","doi":"https://doi.org/10.48550/arxiv.2603.00540"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.00540","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.00540","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2603.00540","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5073383566","display_name":"Yucheng Zeng","orcid":"https://orcid.org/0000-0003-2938-2228"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Zeng, Yucheng","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5121766073","display_name":"Weipeng Lu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lu, Weipeng","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088841352","display_name":"Linyun Liu","orcid":"https://orcid.org/0000-0001-6704-4102"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Linyun","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5128018064","display_name":"Shupeng Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Shupeng","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5127970268","display_name":"Zitian Qu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Qu, Zitian","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5127898958","display_name":"Chenghao Zhu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhu, Chenghao","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5121756764","display_name":"Shaofei Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Shaofei","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5127906013","display_name":"Zhengdong Tan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tan, Zhengdong","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5127976309","display_name":"Mengyue Liu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Mengyue","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5127956462","display_name":"Haotian Zhao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhao, Haotian","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5127903951","display_name":"Zhe Zhou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhou, Zhe","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5127918762","display_name":"Jianmin Wu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wu, Jianmin","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":12,"corresponding_author_ids":["https://openalex.org/A5073383566"],"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/T10028","display_name":"Topic Modeling","score":0.2623000144958496,"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/T10028","display_name":"Topic Modeling","score":0.2623000144958496,"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/T11714","display_name":"Multimodal Machine Learning Applications","score":0.155799999833107,"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.05909999832510948,"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/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.7767999768257141},{"id":"https://openalex.org/keywords/stateful-firewall","display_name":"Stateful firewall","score":0.6420000195503235},{"id":"https://openalex.org/keywords/reinforcement-learning","display_name":"Reinforcement learning","score":0.5813999772071838},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5206000208854675},{"id":"https://openalex.org/keywords/orchestration","display_name":"Orchestration","score":0.5022000074386597},{"id":"https://openalex.org/keywords/core","display_name":"Core (optical fiber)","score":0.35659998655319214},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.32359999418258667}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7940999865531921},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.7767999768257141},{"id":"https://openalex.org/C22927095","wikidata":"https://www.wikidata.org/wiki/Q1784206","display_name":"Stateful firewall","level":3,"score":0.6420000195503235},{"id":"https://openalex.org/C97541855","wikidata":"https://www.wikidata.org/wiki/Q830687","display_name":"Reinforcement learning","level":2,"score":0.5813999772071838},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5206000208854675},{"id":"https://openalex.org/C199168358","wikidata":"https://www.wikidata.org/wiki/Q3367000","display_name":"Orchestration","level":3,"score":0.5022000074386597},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4968000054359436},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.35659998655319214},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3544999957084656},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3481000065803528},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.32359999418258667},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.31839999556541443},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.31459999084472656},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.30090001225471497},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.2953000068664551},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.2874000072479248},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.27959999442100525},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2630000114440918},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.2623000144958496},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.25189998745918274}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.00540","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.00540","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2603.00540","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.00540","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0],"evolution":[1],"of":[2,43,117],"Large":[3],"Language":[4],"Models":[5],"(LLMs)":[6],"from":[7],"static":[8],"instruction-followers":[9],"to":[10,19,38,86,96,107],"autonomous":[11],"agents":[12],"necessitates":[13],"operating":[14],"within":[15],"complex,":[16],"stateful":[17],"environments":[18],"achieve":[20],"precise":[21],"state-transition":[22],"objectives.":[23],"However,":[24],"this":[25,105],"paradigm":[26],"is":[27,76,126],"bottlenecked":[28],"by":[29,129,158],"data":[30,56],"scarcity,":[31],"as":[32],"existing":[33],"tool-centric":[34],"reverse-synthesis":[35],"pipelines":[36],"fail":[37],"capture":[39],"the":[40,78,90,102,175,191],"rigorous":[41],"logic":[42],"real-world":[44],"applications.":[45],"We":[46],"introduce":[47],"\\textbf{LOGIGEN},":[48],"a":[49,73,115,137,169],"logic-driven":[50,183],"framework":[51,113],"that":[52,182],"synthesizes":[53],"verifiable":[54,146],"training":[55,139,188],"based":[57],"on":[58,145],"three":[59],"core":[60],"pillars:":[61],"\\textbf{Hard-Compiled":[62],"Policy":[63],"Grounding},":[64],"\\textbf{Logic-Driven":[65],"Forward":[66],"Synthesis},":[67],"and":[68,101],"\\textbf{Deterministic":[69],"State":[70],"Verification}.":[71],"Specifically,":[72],"Triple-Agent":[74],"Orchestration":[75],"employed:":[77],"\\textbf{Architect}":[79],"compiles":[80],"natural-language":[81],"policy":[82,99],"into":[83],"database":[84],"constraints":[85],"enforce":[87],"hard":[88],"rules;":[89],"\\textbf{Set":[91],"Designer}":[92],"initializes":[93],"boundary-adjacent":[94],"states":[95],"trigger":[97],"critical":[98],"conflicts;":[100],"\\textbf{Explorer}":[103],"searches":[104],"environment":[106],"discover":[108],"causal":[109],"solution":[110],"paths.":[111],"This":[112],"yields":[114],"dataset":[116],"20,000":[118],"complex":[119],"tasks":[120],"across":[121],"8":[122],"domains,":[123],"where":[124,141],"validity":[125],"strictly":[127],"guaranteed":[128],"checking":[130],"exact":[131],"state":[132],"equivalence.":[133],"Furthermore,":[134],"we":[135],"propose":[136],"verification-based":[138,187],"protocol":[140],"Supervised":[142],"Fine-Tuning":[143],"(SFT)":[144],"trajectories":[147,194],"establishes":[148],"compliance":[149],"with":[150,186],"hard-compiled":[151],"policy,":[152],"while":[153],"Reinforcement":[154],"Learning":[155],"(RL)":[156],"guided":[157],"dense":[159],"state-rewards":[160],"refines":[161],"long-horizon":[162],"goal":[163],"achievement.":[164],"On":[165],"$\u03c4^2$-Bench,":[166],"LOGIGEN-32B(RL)":[167],"achieves":[168],"\\textbf{79.5\\%":[170],"success":[171],"rate},":[172],"substantially":[173],"outperforming":[174],"base":[176],"model":[177],"(40.7\\%).":[178],"These":[179],"results":[180],"demonstrate":[181],"synthesis":[184],"combined":[185],"effectively":[189],"constructs":[190],"causally":[192],"valid":[193],"needed":[195],"for":[196],"next-generation":[197],"agents.":[198]},"counts_by_year":[],"updated_date":"2026-03-04T07:09:34.246503","created_date":"2026-03-04T00:00:00"}