{"id":"https://openalex.org/W7084166319","doi":null,"title":"Bridging Language Models and Formal Methods for Intent-Driven Optical Network Design","display_name":"Bridging Language Models and Formal Methods for Intent-Driven Optical Network Design","publication_year":2025,"publication_date":"2025-09-26","ids":{"openalex":"https://openalex.org/W7084166319"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2509.22834","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2509.22834","pdf_url":"https://arxiv.org/pdf/2509.22834","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","indexed_in":["arxiv"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2509.22834","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5094304684","display_name":"Anis Bekri","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bekri, Anis","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002622547","display_name":"Amar Abane","orcid":"https://orcid.org/0000-0002-0094-5907","observed_orcids":["https://orcid.org/0000-0002-0094-5907"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Abane, Amar","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024100219","display_name":"Abdella Battou","orcid":"https://orcid.org/0000-0003-3071-842X","observed_orcids":["https://orcid.org/0000-0003-3071-842X"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Battou, Abdella","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5109183304","display_name":"Saddek Bensalem","orcid":"https://orcid.org/0000-0002-5753-2126","observed_orcids":["https://orcid.org/0000-0002-5753-2126"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bensalem, Saddek","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":true,"primary_topic":{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.698199987411499,"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/T10714","display_name":"Software-Defined Networks and 5G","score":0.698199987411499,"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/T10847","display_name":"Advanced Optical Network Technologies","score":0.26809999346733093,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"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/T12203","display_name":"Mobile Agent-Based Network Management","score":0.002899999963119626,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/intent-based-networking","display_name":"intent-based networking","score":0.9750000238418579},{"id":"https://openalex.org/keywords/optical-network-design","display_name":"optical network design","score":0.9890000224113464},{"id":"https://openalex.org/keywords/large-language-models","display_name":"large language models","score":0.9440000057220459},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.7009999752044678},{"id":"https://openalex.org/keywords/retrieval-augmented-generation","display_name":"retrieval-augmented generation","score":0.8429999947547913},{"id":"https://openalex.org/keywords/network-topology-generation","display_name":"network topology generation","score":0.8270000219345093},{"id":"https://openalex.org/keywords/symbolic-reasoning","display_name":"symbolic reasoning","score":0.8119999766349792},{"id":"https://openalex.org/keywords/network-configuration-automation","display_name":"network configuration automation","score":0.47999998927116394}],"concepts":[{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.8255000114440918},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7932999730110168},{"id":"https://openalex.org/C2780522230","wikidata":"https://www.wikidata.org/wiki/Q1140419","display_name":"Ambiguity","level":2,"score":0.6601999998092651},{"id":"https://openalex.org/C114563136","wikidata":"https://www.wikidata.org/wiki/Q19725982","display_name":"Network planning and design","level":2,"score":0.49549999833106995},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.4885999858379364},{"id":"https://openalex.org/C199845137","wikidata":"https://www.wikidata.org/wiki/Q145490","display_name":"Network topology","level":2,"score":0.47690001130104065},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.45890000462532043},{"id":"https://openalex.org/C153701036","wikidata":"https://www.wikidata.org/wiki/Q659974","display_name":"Trustworthiness","level":2,"score":0.448199987411499},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.43380001187324524},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.42340001463890076},{"id":"https://openalex.org/C129763632","wikidata":"https://www.wikidata.org/wiki/Q1454667","display_name":"Network management","level":2,"score":0.36980000138282776},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.36820000410079956},{"id":"https://openalex.org/C81877898","wikidata":"https://www.wikidata.org/wiki/Q1965787","display_name":"Network monitoring","level":2,"score":0.35100001096725464},{"id":"https://openalex.org/C146072743","wikidata":"https://www.wikidata.org/wiki/Q192161","display_name":"Formal language","level":2,"score":0.3249000012874603},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.32429999113082886},{"id":"https://openalex.org/C159631557","wikidata":"https://www.wikidata.org/wiki/Q1546066","display_name":"Networking hardware","level":2,"score":0.3052999973297119},{"id":"https://openalex.org/C139940560","wikidata":"https://www.wikidata.org/wiki/Q290036","display_name":"Network simulation","level":2,"score":0.3012000024318695},{"id":"https://openalex.org/C193415008","wikidata":"https://www.wikidata.org/wiki/Q639681","display_name":"Network architecture","level":2,"score":0.29019999504089355},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.2863999903202057},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.2802000045776367},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.27630001306533813},{"id":"https://openalex.org/C16986412","wikidata":"https://www.wikidata.org/wiki/Q918419","display_name":"Network management station","level":3,"score":0.2757999897003174},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.27379998564720154},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.26339998841285706},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.25519999861717224},{"id":"https://openalex.org/C100776233","wikidata":"https://www.wikidata.org/wiki/Q2532492","display_name":"Bridge (graph theory)","level":2,"score":0.25099998712539673},{"id":"https://openalex.org/C104122410","wikidata":"https://www.wikidata.org/wiki/Q1416406","display_name":"Network model","level":2,"score":0.25099998712539673},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.25040000677108765}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:arXiv.org:2509.22834","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2509.22834","pdf_url":"https://arxiv.org/pdf/2509.22834","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"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2509.22834","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2509.22834","pdf_url":"https://arxiv.org/pdf/2509.22834","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":[{"score":0.5378999710083008,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Intent-Based":[0],"Networking":[1],"(IBN)":[2],"aims":[3],"to":[4,11,36],"simplify":[5],"network":[6,18,31,93],"management":[7],"by":[8,100],"enabling":[9],"users":[10],"specify":[12],"high-level":[13],"goals":[14],"that":[15,57],"drive":[16],"automated":[17],"design":[19,71],"and":[20,39,64,77,82,90,103],"configuration.":[21],"However,":[22],"translating":[23],"informal":[24],"natural-language":[25],"intents":[26],"into":[27],"formally":[28],"correct":[29],"optical":[30,75,92],"topologies":[32],"remains":[33],"challenging":[34],"due":[35],"inherent":[37],"ambiguity":[38],"lack":[40],"of":[41],"rigor":[42],"in":[43],"Large":[44],"Language":[45],"Models":[46],"(LLMs).":[47],"To":[48],"address":[49],"this,":[50],"we":[51],"propose":[52],"a":[53],"novel":[54],"hybrid":[55],"pipeline":[56,86],"integrates":[58],"LLM-based":[59],"intent":[60],"parsing,":[61],"formal":[62],"methods,":[63],"Optical":[65],"Retrieval-Augmented":[66],"Generation":[67],"(RAG).":[68],"By":[69],"enriching":[70],"decisions":[72],"with":[73],"domain-specific":[74],"standards":[76],"systematically":[78],"incorporating":[79],"symbolic":[80],"reasoning":[81],"verification":[83],"techniques,":[84],"our":[85],"generates":[87],"explainable,":[88],"verifiable,":[89],"trustworthy":[91],"designs.":[94],"This":[95],"approach":[96],"significantly":[97],"advances":[98],"IBN":[99],"ensuring":[101],"reliability":[102],"correctness,":[104],"essential":[105],"for":[106],"mission-critical":[107],"networking":[108],"tasks.":[109]},"counts_by_year":[],"updated_date":"2026-10-12T09:40:04.860316","created_date":"2025-10-10T00:00:00"}