{"id":"https://openalex.org/W7148450837","doi":"https://doi.org/10.48550/arxiv.2604.00072","title":"Empirical Validation of the Classification-Verification Dichotomy for AI Safety Gates","display_name":"Empirical Validation of the Classification-Verification Dichotomy for AI Safety Gates","publication_year":2026,"publication_date":"2026-03-31","ids":{"openalex":"https://openalex.org/W7148450837","doi":"https://doi.org/10.48550/arxiv.2604.00072"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.00072","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.00072","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.2604.00072","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5132814151","display_name":"Arsenios Scrivens","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Scrivens, Arsenios","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5132814151"],"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.8949999809265137,"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.8949999809265137,"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/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.009499999694526196,"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/T12131","display_name":"Wireless Signal Modulation Classification","score":0.006800000090152025,"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/chaining","display_name":"Chaining","score":0.5874999761581421},{"id":"https://openalex.org/keywords/lipschitz-continuity","display_name":"Lipschitz continuity","score":0.5803999900817871},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.4812000095844269},{"id":"https://openalex.org/keywords/approximate-inference","display_name":"Approximate inference","score":0.41110000014305115},{"id":"https://openalex.org/keywords/bayesian-probability","display_name":"Bayesian probability","score":0.396699994802475},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.3718000054359436},{"id":"https://openalex.org/keywords/inverted-pendulum","display_name":"Inverted pendulum","score":0.3504999876022339},{"id":"https://openalex.org/keywords/classifier","display_name":"Classifier (UML)","score":0.33390000462532043},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.323199987411499}],"concepts":[{"id":"https://openalex.org/C49020025","wikidata":"https://www.wikidata.org/wiki/Q1059099","display_name":"Chaining","level":2,"score":0.5874999761581421},{"id":"https://openalex.org/C22324862","wikidata":"https://www.wikidata.org/wiki/Q652707","display_name":"Lipschitz continuity","level":2,"score":0.5803999900817871},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5591999888420105},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.4812000095844269},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4242999851703644},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.413100004196167},{"id":"https://openalex.org/C2777472644","wikidata":"https://www.wikidata.org/wiki/Q16968992","display_name":"Approximate inference","level":3,"score":0.41110000014305115},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.396699994802475},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.3718000054359436},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.35690000653266907},{"id":"https://openalex.org/C192921069","wikidata":"https://www.wikidata.org/wiki/Q550134","display_name":"Inverted pendulum","level":3,"score":0.3504999876022339},{"id":"https://openalex.org/C95623464","wikidata":"https://www.wikidata.org/wiki/Q1096149","display_name":"Classifier (UML)","level":2,"score":0.33390000462532043},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.323199987411499},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3163999915122986},{"id":"https://openalex.org/C176809094","wikidata":"https://www.wikidata.org/wiki/Q15401496","display_name":"Traverse","level":2,"score":0.3158000111579895},{"id":"https://openalex.org/C95611797","wikidata":"https://www.wikidata.org/wiki/Q17502105","display_name":"Infimum and supremum","level":2,"score":0.31290000677108765},{"id":"https://openalex.org/C150921843","wikidata":"https://www.wikidata.org/wiki/Q1170431","display_name":"Resampling","level":2,"score":0.31040000915527344},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.2915000021457672},{"id":"https://openalex.org/C122041747","wikidata":"https://www.wikidata.org/wiki/Q838611","display_name":"Ball (mathematics)","level":2,"score":0.29100000858306885},{"id":"https://openalex.org/C142614401","wikidata":"https://www.wikidata.org/wiki/Q777433","display_name":"Forward chaining","level":3,"score":0.2904999852180481},{"id":"https://openalex.org/C160234255","wikidata":"https://www.wikidata.org/wiki/Q812535","display_name":"Bayesian inference","level":3,"score":0.28450000286102295},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.28209999203681946},{"id":"https://openalex.org/C2984842247","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep neural networks","level":3,"score":0.27950000762939453},{"id":"https://openalex.org/C2780704645","wikidata":"https://www.wikidata.org/wiki/Q9251458","display_name":"Observer (physics)","level":2,"score":0.2793000042438507},{"id":"https://openalex.org/C177769412","wikidata":"https://www.wikidata.org/wiki/Q278090","display_name":"Prior probability","level":3,"score":0.27549999952316284},{"id":"https://openalex.org/C2776261394","wikidata":"https://www.wikidata.org/wiki/Q315562","display_name":"Impossibility","level":2,"score":0.26669999957084656},{"id":"https://openalex.org/C49304495","wikidata":"https://www.wikidata.org/wiki/Q49393","display_name":"Projectile","level":2,"score":0.25949999690055847},{"id":"https://openalex.org/C33724603","wikidata":"https://www.wikidata.org/wiki/Q812540","display_name":"Bayesian network","level":2,"score":0.2578999996185303}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.00072","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.00072","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.2604.00072","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.00072","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Can":[0],"classifier-based":[1],"safety":[2,59,171],"gates":[3],"maintain":[4],"reliable":[5],"oversight":[6],"as":[7],"AI":[8],"systems":[9],"improve":[10],"over":[11],"hundreds":[12],"of":[13],"iterations?":[14],"We":[15,100],"provide":[16],"comprehensive":[17],"empirical":[18],"evidence":[19],"that":[20],"they":[21],"cannot.":[22],"On":[23],"a":[24],"self-improving":[25],"neural":[26],"controller":[27],"(d=240),":[28],"eighteen":[29],"classifier":[30],"configurations":[31],"--":[32,44,85,96],"spanning":[33],"MLPs,":[34],"SVMs,":[35],"random":[36],"forests,":[37],"k-NN,":[38],"Bayesian":[39],"classifiers,":[40],"and":[41,90],"deep":[42],"networks":[43],"all":[45,81],"fail":[46,84],"the":[47,87,103,166],"dual":[48],"conditions":[49],"for":[50],"safe":[51,54,111],"self-improvement.":[52],"Three":[53],"RL":[55],"baselines":[56],"(CPO,":[57],"Lyapunov,":[58],"shielding)":[60],"also":[61],"fail.":[62],"Results":[63],"extend":[64],"to":[65,79,107,110,187],"MuJoCo":[66,146],"benchmarks":[67],"(Reacher-v4":[68],"d=496,":[69],"Swimmer-v4":[70],"d=1408,":[71],"HalfCheetah-v4":[72],"d=1824).":[73],"At":[74,193],"controlled":[75],"distribution":[76],"separations":[77],"up":[78,186],"delta_s=2.0,":[80],"classifiers":[82],"still":[83],"including":[86],"NP-optimal":[88],"test":[89],"MLPs":[91],"with":[92,154,169],"100%":[93],"training":[94],"accuracy":[95],"demonstrating":[97],"structural":[98],"impossibility.":[99],"then":[101],"show":[102],"impossibility":[104],"is":[105,196],"specific":[106],"classification,":[108],"not":[109],"self-improvement":[112],"itself.":[113],"A":[114,176],"Lipschitz":[115,204],"ball":[116],"verifier":[117],"achieves":[118],"zero":[119,170],"false":[120],"accepts":[121],"across":[122,173],"dimensions":[123],"d":[124],"in":[125],"{84,":[126],"240,":[127],"768,":[128],"2688,":[129],"5760,":[130],"9984,":[131],"17408}":[132],"using":[133],"provable":[134],"analytical":[135],"bounds":[136],"(unconditional":[137],"delta=0).":[138],"Ball":[139],"chaining":[140],"enables":[141,184],"unbounded":[142],"parameter-space":[143],"traversal:":[144],"on":[145,156,202],"Reacher-v4,":[147],"10":[148],"chains":[149],"yield":[150],"+4.31":[151],"reward":[152],"improvement":[153],"delta=0;":[155],"Qwen2.5-7B-Instruct":[157],"during":[158],"LoRA":[159],"fine-tuning,":[160],"42":[161],"chain":[162],"transitions":[163],"traverse":[164],"234x":[165],"single-ball":[167],"radius":[168],"violations":[172],"200":[174],"steps.":[175],"50-prompt":[177],"oracle":[178],"confirms":[179],"oracle-agnosticity.":[180],"Compositional":[181],"per-group":[182],"verification":[183],"radii":[185],"37x":[188],"larger":[189],"than":[190],"full-network":[191],"balls.":[192],"d<=17408,":[194],"delta=0":[195],"unconditional;":[197],"at":[198],"LLM":[199],"scale,":[200],"conditional":[201],"estimated":[203],"constants.":[205]},"counts_by_year":[],"updated_date":"2026-04-03T16:44:17.987007","created_date":"2026-04-03T00:00:00"}