{"id":"https://openalex.org/W4415898437","doi":"https://doi.org/10.1145/3767295.3803612","title":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","display_name":"TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks","publication_year":2026,"publication_date":"2026-04-24","ids":{"openalex":"https://openalex.org/W4415898437","doi":"https://doi.org/10.1145/3767295.3803612"},"language":null,"primary_location":{"id":"doi:10.1145/3767295.3803612","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3767295.3803612","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 21st European Conference on Computer Systems","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3767295.3803612","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Jianzhu Yao","orcid":"https://orcid.org/0009-0004-3854-9928"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jianzhu Yao","raw_affiliation_strings":["Princeton University, Princeton, USA"],"raw_orcid":"https://orcid.org/0009-0004-3854-9928","affiliations":[{"raw_affiliation_string":"Princeton University, Princeton, USA","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053016180","display_name":"Hongxu Su","orcid":"https://orcid.org/0009-0000-8416-0826"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hongxu Su","raw_affiliation_strings":["The Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China"],"raw_orcid":"https://orcid.org/0009-0000-8416-0826","affiliations":[{"raw_affiliation_string":"The Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104210641","display_name":"Taobo Liao","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Taobo Liao","raw_affiliation_strings":["University of Illinois Urbana-Champaign, Urbana, USA"],"raw_orcid":"https://orcid.org/0009-0002-8470-1017","affiliations":[{"raw_affiliation_string":"University of Illinois Urbana-Champaign, Urbana, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022462029","display_name":"Zerui Cheng","orcid":"https://orcid.org/0000-0003-3397-9844"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zerui Cheng","raw_affiliation_strings":["Princeton University, Princeton, USA"],"raw_orcid":"https://orcid.org/0000-0003-3397-9844","affiliations":[{"raw_affiliation_string":"Princeton University, Princeton, USA","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079399040","display_name":"Huan Zhang","orcid":"https://orcid.org/0009-0001-2060-5459"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Huan Zhang","raw_affiliation_strings":["University of Illinois Urbana-Champaign, Urbana, USA"],"raw_orcid":"https://orcid.org/0000-0002-4426-9736","affiliations":[{"raw_affiliation_string":"University of Illinois Urbana-Champaign, Urbana, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101681119","display_name":"Xuechao Wang","orcid":"https://orcid.org/0000-0001-6918-2699"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xuechao Wang","raw_affiliation_strings":["The Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China"],"raw_orcid":"https://orcid.org/0000-0001-6918-2699","affiliations":[{"raw_affiliation_string":"The Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053980484","display_name":"Pramod Viswanath","orcid":"https://orcid.org/0000-0003-3171-8667"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Pramod Viswanath","raw_affiliation_strings":["Princeton University, Princeton, USA"],"raw_orcid":"https://orcid.org/0000-0003-3171-8667","affiliations":[{"raw_affiliation_string":"Princeton University, Princeton, USA","institution_ids":["https://openalex.org/I20089843"]}]}],"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":"1515","last_page":"1532"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9401000142097473,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9401000142097473,"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/T11273","display_name":"Advanced Graph Neural Networks","score":0.014800000004470348,"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/T10036","display_name":"Advanced Neural Network Applications","score":0.009499999694526196,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.659500002861023},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.4717999994754791},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.4300999939441681},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.4244000017642975},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.4138000011444092},{"id":"https://openalex.org/keywords/vendor","display_name":"Vendor","score":0.3813000023365021},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.37119999527931213},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.35740000009536743},{"id":"https://openalex.org/keywords/offset","display_name":"Offset (computer science)","score":0.33809998631477356}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8575000166893005},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.659500002861023},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.4717999994754791},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.4300999939441681},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.4244000017642975},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.4138000011444092},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.39800000190734863},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38440001010894775},{"id":"https://openalex.org/C2777338717","wikidata":"https://www.wikidata.org/wiki/Q1762621","display_name":"Vendor","level":2,"score":0.3813000023365021},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.37119999527931213},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.35740000009536743},{"id":"https://openalex.org/C175291020","wikidata":"https://www.wikidata.org/wiki/Q1156822","display_name":"Offset (computer science)","level":2,"score":0.33809998631477356},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.3361000120639801},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.32499998807907104},{"id":"https://openalex.org/C94284585","wikidata":"https://www.wikidata.org/wiki/Q228184","display_name":"Random oracle","level":4,"score":0.3089999854564667},{"id":"https://openalex.org/C160403385","wikidata":"https://www.wikidata.org/wiki/Q220543","display_name":"Queue","level":2,"score":0.29739999771118164},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.2957000136375427},{"id":"https://openalex.org/C2984842247","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep neural networks","level":3,"score":0.2906000018119812},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.2858000099658966},{"id":"https://openalex.org/C120936955","wikidata":"https://www.wikidata.org/wiki/Q2155640","display_name":"Empirical research","level":2,"score":0.2840999960899353},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.2685000002384186},{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.26820001006126404},{"id":"https://openalex.org/C157764524","wikidata":"https://www.wikidata.org/wiki/Q1383412","display_name":"Throughput","level":3,"score":0.26809999346733093},{"id":"https://openalex.org/C74912251","wikidata":"https://www.wikidata.org/wiki/Q6815727","display_name":"Memory footprint","level":2,"score":0.2581999897956848},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.2558000087738037},{"id":"https://openalex.org/C197657726","wikidata":"https://www.wikidata.org/wiki/Q174733","display_name":"Bipartite graph","level":3,"score":0.2549999952316284},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.25060001015663147}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3767295.3803612","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3767295.3803612","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 21st European Conference on Computer Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2510.16028","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2510.16028","pdf_url":"https://arxiv.org/pdf/2510.16028","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"pmh:oai:arXiv.org:2510.16028","is_oa":true,"landing_page_url":"https://arxiv.org/abs/2510.16028","pdf_url":"https://arxiv.org/pdf/2510.16028","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2510.16028","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2510.16028","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":"Preprint"}],"best_oa_location":{"id":"doi:10.1145/3767295.3803612","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3767295.3803612","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 21st European Conference on Computer Systems","raw_type":"proceedings-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":{"Neural":[0],"networks":[1,90,110],"increasingly":[2],"run":[3],"on":[4,68],"hardware":[5,144,196],"outside":[6],"the":[7,36,93,97,159,168],"user's":[8],"control":[9],"(cloud":[10],"GPUs,":[11],"inference":[12],"marketplaces,":[13],"edge":[14],"specialized":[15],"accelerators)":[16],"for":[17,86,107],"both":[18],"training":[19],"and":[20,39,81,136],"inference.":[21],"Yet":[22],"ML-as-a-Service":[23],"reveals":[24],"little":[25],"about":[26],"what":[27],"actually":[28],"ran":[29],"or":[30,54,91,178,197],"whether":[31],"returned":[32],"outputs":[33,61,113],"faithfully":[34],"reflect":[35],"intended":[37],"inputs":[38],"models.":[40],"Users":[41],"lack":[42],"recourse":[43],"against":[44,183],"service":[45],"downgrades":[46],"such":[47],"as":[48],"model":[49],"swaps,":[50],"quantization,":[51],"graph":[52,162],"rewrites,":[53],"discrepancies":[55],"like":[56,76],"altered":[57],"advertisement":[58],"embeddings.":[59],"Verifying":[60],"is":[62,71],"especially":[63],"difficult":[64],"because":[65],"floating-point":[66,88,108],"execution":[67],"heterogeneous":[69],"accelerators":[70],"inherently":[72],"non-deterministic.":[73],"Existing":[74],"approaches":[75],"zkML,":[77],"deterministic":[78,198],"replay,":[79],"TEEs,":[80],"replication":[82],"are":[83,147],"either":[84,173],"impractical":[85],"real":[87],"neural":[89,109],"reintroduce":[92],"need":[94],"to":[95,172],"trust":[96],"vendor.":[98],"We":[99],"present":[100],"TAO:":[101],"a":[102,150,174,179,190],"Tolerance-Aware":[103],"Optimistic":[104],"verification":[105],"protocol":[106],"that":[111,156],"accepts":[112],"within":[114],"principled":[115],"operator-level":[116],"acceptance":[117],"regions":[118],"rather":[119],"than":[120],"requiring":[121,194],"bitwise":[122],"equality.":[123],"TAO":[124],"combines":[125],"two":[126],"complementary":[127],"error":[128],"models:":[129],"(i)":[130],"sound":[131],"per-operator":[132],"IEEE-754":[133],"worst-case":[134],"bounds":[135],"(ii)":[137],"tight":[138],"empirical":[139,184],"percentile":[140],"profiles":[141],"calibrated":[142],"across":[143],"types.":[145],"Discrepancies":[146],"resolved":[148],"via":[149],"Merkle-anchored,":[151],"threshold-guided":[152],"interactive":[153],"dispute":[154],"game":[155],"recursively":[157],"partitions":[158],"traced":[160],"computation":[161],"until":[163],"one":[164],"operator":[165],"remains;":[166],"at":[167],"leaf,":[169],"adjudication":[170],"reduces":[171],"lightweight":[175],"theoretical-bound":[176],"check":[177],"small":[180],"honest-majority":[181],"vote":[182],"thresholds.":[185],"Unchallenged":[186],"results":[187],"finalize":[188],"after":[189],"challenge":[191],"window,":[192],"without":[193],"trusted":[195],"kernels.":[199]},"counts_by_year":[],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-22T00:00:00"}