{"id":"W4297691576","doi":"10.1007/s10994-022-06212-w","title":"Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio","year":2022,"lang":"en","type":"article","venue":"Machine Learning","topic":"Adversarial Robustness in Machine Learning","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Robustness (evolution); Artificial neural network; Solver; Algorithm; Linear programming; Integer programming; Scalability; Machine learning; Artificial intelligence; Programming language; Database","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003331682,0.001662107,0.0009375687,0.0008711362,0.0005021787,0.001683488,0.001954135,0.001675024,0.007662088],"category_scores_gemma":[0.01763123,0.0009341777,0.001178683,0.000499517,0.001650008,0.002198776,0.002459952,0.002729129,0.001226538],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001382317,"about_ca_system_score_gemma":0.002354878,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002499508,"about_ca_topic_score_gemma":0.003125545,"domain_scores_codex":[0.996712,0.001466034,0.0001574587,0.0005027963,0.0008130496,0.0003487371],"domain_scores_gemma":[0.9909257,0.006511105,0.0007037709,0.001054007,0.0006429019,0.0001624977],"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.0002403744,0.0001157692,0.001050822,0.0001008079,0.00004356732,0.0001366966,0.00004341448,0.9251359,0.004716179,0.0132738,0.001930366,0.0532122],"study_design_scores_gemma":[0.00001844592,0.00002525865,0.00003667612,0.000008109679,0.000005060018,0.00001301842,0.000005765659,0.9936535,0.002325744,0.003633964,0.0002707625,0.000003602216],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.06955975,0.0002297124,0.9134263,0.0006140986,0.00008252763,0.0002202545,0.0001599426,0.007352462,0.008354899],"genre_scores_gemma":[0.6006495,0.00008608156,0.3951601,0.0002896201,0.0000320833,0.0002635905,0.0003255579,0.0007712193,0.002422312],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007662088,"threshold_uncertainty_score":0.02563226,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01773640680379212,"score_gpt":0.2676250028311039,"score_spread":0.2498885960273117,"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."}}