{"id":"W3033072407","doi":"10.1007/s10898-020-00949-1","title":"Advances in verification of ReLU neural networks","year":2020,"lang":"en","type":"article","venue":"Journal of Global Optimization","topic":"Adversarial Robustness in Machine Learning","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"MNIST database; Artificial neural network; Solver; Computer science; Deep neural networks; Artificial intelligence; Set (abstract data type); Integer programming; Theoretical computer science; Machine learning; Algorithm; Programming language","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002061863,0.00006245042,0.0001554531,0.00003261893,0.00002120097,0.00002721518,0.0003958046,0.00004199857,0.000004461172],"category_scores_gemma":[0.0002838814,0.000058498,0.00004381062,0.0006771223,0.00001797995,0.001154005,0.00005640049,0.0001469021,3.307223e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006567222,"about_ca_system_score_gemma":0.00003947336,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002379224,"about_ca_topic_score_gemma":8.686982e-7,"domain_scores_codex":[0.9990857,0.00009434023,0.0004151773,0.00009886918,0.0002176677,0.00008825189],"domain_scores_gemma":[0.9990797,0.00003308167,0.0005874507,0.00008850495,0.0001592056,0.0000520546],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00004199199,0.00001362561,0.006269638,0.000004622392,0.000002337236,0.000005711693,0.00007903449,0.9738975,0.000006161949,0.002884942,0.00002139475,0.01677304],"study_design_scores_gemma":[0.0003553361,0.000113489,0.002615381,0.00002052977,0.000004370511,0.00001118592,0.00002077995,0.9966025,0.000007676261,0.0001180209,0.00008313691,0.0000475944],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00217987,0.0005017165,0.9950491,0.001561592,0.0003031524,0.00004323424,2.636733e-7,0.000012149,0.000348903],"genre_scores_gemma":[0.8189388,0.0001656356,0.180678,0.0001194782,0.00009412353,2.238127e-7,7.209358e-7,0.000002614634,4.212771e-7],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8167589,"threshold_uncertainty_score":0.2385479,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008913140916029237,"score_gpt":0.2572706877657535,"score_spread":0.2483575468497242,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}