{"id":"https://openalex.org/W7154418206","doi":"https://doi.org/10.48550/arxiv.2604.10989","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","display_name":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","publication_year":2026,"publication_date":"2026-04-13","ids":{"openalex":"https://openalex.org/W7154418206","doi":"https://doi.org/10.48550/arxiv.2604.10989"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.10989","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.10989","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":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.10989","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5133563094","display_name":"Shixing Zhao","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Zhao, Shixing","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133617330","display_name":"Zheng Si","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Si, Zheng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133563789","display_name":"Pengpeng Ouyang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ouyang, Pengpeng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133578818","display_name":"Zhengqing Hu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hu, Zhengqing","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133600796","display_name":"Wanqi Zhu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhu, Wanqi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134672188","display_name":"DONG CHEN","orcid":"https://orcid.org/0009-0003-5439-7744"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chen, Dong","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101930541","display_name":"Yibo Guo","orcid":"https://orcid.org/0000-0002-7336-6252"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Guo, Yibo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5133575027","display_name":"Mingliang Xu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xu, Mingliang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5133563094"],"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/T12127","display_name":"Software System Performance and Reliability","score":0.10270000249147415,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.10270000249147415,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.08479999750852585,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10551","display_name":"Scheduling and Optimization Algorithms","score":0.06719999760389328,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing 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/scheduling","display_name":"Scheduling (production processes)","score":0.6083999872207642},{"id":"https://openalex.org/keywords/adaptability","display_name":"Adaptability","score":0.5192999839782715},{"id":"https://openalex.org/keywords/unexpected-events","display_name":"Unexpected events","score":0.4668999910354614},{"id":"https://openalex.org/keywords/dynamic-priority-scheduling","display_name":"Dynamic priority scheduling","score":0.44190001487731934},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.4413999915122986},{"id":"https://openalex.org/keywords/two-level-scheduling","display_name":"Two-level scheduling","score":0.31450000405311584}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7626000046730042},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.6083999872207642},{"id":"https://openalex.org/C177606310","wikidata":"https://www.wikidata.org/wiki/Q5674297","display_name":"Adaptability","level":2,"score":0.5192999839782715},{"id":"https://openalex.org/C2776544517","wikidata":"https://www.wikidata.org/wiki/Q189447","display_name":"Unexpected events","level":2,"score":0.4668999910354614},{"id":"https://openalex.org/C107568181","wikidata":"https://www.wikidata.org/wiki/Q5319000","display_name":"Dynamic priority scheduling","level":3,"score":0.44190001487731934},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.4413999915122986},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3887999951839447},{"id":"https://openalex.org/C119948110","wikidata":"https://www.wikidata.org/wiki/Q7858726","display_name":"Two-level scheduling","level":4,"score":0.31450000405311584},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3068000078201294},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.3025999963283539},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.29269999265670776},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.28780001401901245},{"id":"https://openalex.org/C26760741","wikidata":"https://www.wikidata.org/wiki/Q160402","display_name":"Perception","level":2,"score":0.2822999954223633},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.2678000032901764},{"id":"https://openalex.org/C31689143","wikidata":"https://www.wikidata.org/wiki/Q733809","display_name":"Fair-share scheduling","level":3,"score":0.2655999958515167},{"id":"https://openalex.org/C2985583900","wikidata":"https://www.wikidata.org/wiki/Q722617","display_name":"Formal description","level":2,"score":0.25929999351501465}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.10989","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.10989","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":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.10989","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.10989","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":"article"},"sustainable_development_goals":[{"score":0.7085280418395996,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Emergency":[0,152],"situations":[1,135],"in":[2,57,200],"scheduling":[3,25,74,99,138,206,246],"systems":[4,100],"often":[5],"trigger":[6],"local":[7,129,172,190],"functional":[8,130],"failures":[9],"that":[10,64,231],"undermine":[11],"system":[12,17,162],"stability":[13],"and":[14,40,82,93,136,150,204,214,225,239,243],"even":[15],"cause":[16],"collapse.":[18],"Existing":[19],"methods":[20,56],"primarily":[21],"rely":[22],"on":[23,164],"robust":[24],"or":[26,34],"reactive":[27],"scheduling,":[28],"handling":[29],"emergencies":[30,44,238],"through":[31],"predefined":[32],"rules":[33],"rescheduling":[35],"strategies.":[36],"However,":[37],"the":[38,52,87,94,114,125,157,178,201,235,241],"diversity":[39],"unpredictability":[41],"of":[42,54,77,91,98,160,181,211,220,237,245],"real-world":[43],"make":[45],"them":[46],"difficult":[47],"to":[48,128,176,188],"anticipate,":[49],"which":[50,155],"limits":[51],"adaptability":[53,244],"these":[55,110],"complex":[58,73],"scenarios.":[59],"Recent":[60],"studies":[61],"have":[62],"shown":[63],"Large":[65,184],"Language":[66,185],"Models":[67,186],"(LLMs)":[68],"possess":[69],"strong":[70,83],"potential":[71],"for":[72,105],"tasks":[75],"because":[76],"their":[78,103],"extensive":[79],"prior":[80],"knowledge":[81],"reasoning":[84],"capabilities.":[85],"Nevertheless,":[86],"high":[88],"inference":[89,193],"latency":[90,194],"LLMs":[92],"lengthy":[95,161],"contextual":[96],"information":[97],"significantly":[101],"hinder":[102],"application":[104],"emergency":[106,134,165],"handling.":[107],"To":[108],"mitigate":[109],"issues,":[111],"we":[112],"propose":[113],"Multi-agent":[115],"Driven":[116],"Formal":[117],"Instruction":[118],"Generation":[119],"Framework":[120],"(MAFIG).":[121],"The":[122],"framework":[123],"constrains":[124],"decision":[126],"scope":[127],"modules":[131],"affected":[132],"by":[133,141],"repairs":[137],"logic":[139],"rapidly":[140],"generating":[142],"formal":[143],"instructions.":[144],"MAFIG":[145,232],"contains":[146],"a":[147],"Perception":[148],"Agent":[149],"an":[151],"Decision":[153],"Agent,":[154],"mitigates":[156,234],"adverse":[158],"impact":[159,236],"contexts":[163],"decision-making.":[166],"We":[167],"further":[168],"introduce":[169],"span-focused":[170],"loss-driven":[171],"distillation":[173],"mechanism":[174],"(SFL)":[175],"transfer":[177],"decision-making":[179,197],"capability":[180],"powerful":[182],"Cloud":[183],"(C-LLMs)":[187],"lightweight":[189],"models,":[191],"reducing":[192],"while":[195],"preserving":[196],"effectiveness.":[198],"Experiments":[199],"Port,":[202],"Warehousing,":[203],"Deck":[205],"datasets":[207],"show":[208],"success":[209],"rates":[210],"98.49\\%,":[212],"94.97\\%,":[213],"97.50\\%,":[215],"with":[216],"average":[217],"processing":[218],"times":[219],"0.33":[221],"s,":[222,224],"0.23":[223],"0.19":[226],"s.":[227],"These":[228],"results":[229],"demonstrate":[230],"effectively":[233],"improves":[240],"robustness":[242],"systems.":[247]},"counts_by_year":[],"updated_date":"2026-04-29T09:16:38.111599","created_date":"2026-04-15T00:00:00"}