{"id":"https://openalex.org/W4402501158","doi":"https://doi.org/10.48550/arxiv.2408.08824","title":"LEVIS: Large Exact Verifiable Input Spaces for Neural Networks","display_name":"LEVIS: Large Exact Verifiable Input Spaces for Neural Networks","publication_year":2024,"publication_date":"2024-08-16","ids":{"openalex":"https://openalex.org/W4402501158","doi":"https://doi.org/10.48550/arxiv.2408.08824"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2408.08824","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2408.08824","pdf_url":"https://arxiv.org/pdf/2408.08824","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2408.08824","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5107179081","display_name":"Mohamad Fares El Hajj Chehade","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chehade, Mohamad Fares El Hajj","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040575641","display_name":"Wenting Li","orcid":"https://orcid.org/0000-0003-1382-2030"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Wenting","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111248595","display_name":"Brian Bell","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bell, Brian W.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088880250","display_name":"Russell Bent","orcid":"https://orcid.org/0000-0002-7300-151X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bent, Russell","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Kazi, Saif R.","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kazi, Saif R.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5057563080","display_name":"Hao Zhu","orcid":"https://orcid.org/0000-0001-6971-0455"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhu, Hao","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":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/T10320","display_name":"Neural Networks and Applications","score":0.8567000031471252,"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/T10320","display_name":"Neural Networks and Applications","score":0.8567000031471252,"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.9598199725151062},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6163456439971924},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.528761088848114},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.25171399116516113},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12464791536331177}],"concepts":[{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.9598199725151062},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6163456439971924},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.528761088848114},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.25171399116516113},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12464791536331177},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2408.08824","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2408.08824","pdf_url":"https://arxiv.org/pdf/2408.08824","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2408.08824","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2408.08824","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":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2408.08824","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2408.08824","pdf_url":"https://arxiv.org/pdf/2408.08824","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G359075050","display_name":null,"funder_award_id":"DE-AC52-06NA25396","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G3700687868","display_name":null,"funder_award_id":"AC52-06NA25396","funder_id":"https://openalex.org/F4320338304","funder_display_name":"Los Alamos National Laboratory"},{"id":"https://openalex.org/G5657628048","display_name":null,"funder_award_id":"AC52-06NA25396","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G75892134","display_name":null,"funder_award_id":"DE-AC52-06NA25396","funder_id":"https://openalex.org/F4320338304","funder_display_name":"Los Alamos National Laboratory"}],"funders":[{"id":"https://openalex.org/F4320306084","display_name":"U.S. Department of Energy","ror":"https://ror.org/01bj3aw27"},{"id":"https://openalex.org/F4320338304","display_name":"Los Alamos National Laboratory","ror":"https://ror.org/01e41cf67"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4402501158.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2355730523","https://openalex.org/W152021879","https://openalex.org/W2072918937","https://openalex.org/W2365629437","https://openalex.org/W2023935927","https://openalex.org/W2348330439","https://openalex.org/W2350372928","https://openalex.org/W2377292126"],"abstract_inverted_index":{"The":[0],"robustness":[1,22,33],"of":[2,27,74,89,106,117,171],"neural":[3],"networks":[4],"is":[5,16,47,62],"crucial":[6],"in":[7],"safety-critical":[8],"applications,":[9],"where":[10,57],"identifying":[11,51],"a":[12,52,84,95,107,131,152,161],"reliable":[13,28],"input":[14,45,54,76],"space":[15,46,55,120],"essential":[17],"for":[18,156],"effective":[19],"model":[20],"selection,":[21],"evaluation,":[23],"and":[24,71,91,142,178,190,197],"the":[25,37,41,44,66,75,115,118,169,172,181,201],"development":[26],"control":[29],"strategies.":[30],"Most":[31],"existing":[32],"verification":[34,132],"methods":[35],"assess":[36],"worst-case":[38],"output":[39],"under":[40],"assumption":[42],"that":[43,100,134],"known.":[48],"However,":[49],"precisely":[50],"verifiable":[53,98,119,124,173,202],"\\(\\mathcal{C}\\),":[56,110],"no":[58],"adversarial":[59,144],"examples":[60],"exist,":[61],"challenging":[63],"due":[64],"to":[65,139,160],"possible":[67],"high":[68],"dimensionality,":[69],"discontinuity,":[70],"non-convex":[72],"nature":[73],"space.":[77],"To":[78],"address":[79],"this":[80],"challenge,":[81],"we":[82],"propose":[83],"novel":[85],"framework,":[86],"**LEVIS**,":[87],"consisting":[88],"**LEVIS-\u03b1**":[90,93],"**LEVIS-\\b{eta}**.":[92],"identifies":[94],"single,":[96],"large":[97],"ball":[99],"intersects":[101],"at":[102],"least":[103],"two":[104],"boundaries":[105],"bounded":[108],"region":[109],"while":[111],"**LEVIS-\\b{eta}**":[112],"systematically":[113],"captures":[114],"entirety":[116],"by":[121,176],"integrating":[122,147],"multiple":[123],"balls.":[125],"Our":[126],"contributions":[127],"include:":[128],"(1)":[129],"introducing":[130],"framework":[133],"uses":[135],"mixed-integer":[136],"programming":[137],"(MIP)":[138],"compute":[140],"nearest":[141],"directional":[143],"points,":[145],"(2)":[146],"complementarity-constrained":[148],"(CC)":[149],"optimization":[150],"with":[151,193],"reduced":[153],"MIP":[154],"formulation":[155],"scalability,":[157],"achieving":[158],"up":[159],"6":[162],"times":[163],"runtime":[164],"reduction,":[165],"(3)":[166],"theoretically":[167],"characterizing":[168],"properties":[170],"balls":[174],"obtained":[175],"**LEVIS-\u03b1**,":[177],"(4)":[179],"validating":[180],"approach":[182],"across":[183],"applications":[184],"including":[185],"electrical":[186],"power":[187],"flow":[188],"regression":[189],"image":[191],"classification,":[192],"demonstrated":[194],"performance":[195],"gains":[196],"geometric":[198],"insights":[199],"into":[200],"region.":[203]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2025-10-10T00:00:00"}