{"id":"W3104862198","doi":"","title":"The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification","year":2020,"lang":"en","type":"article","venue":"PolyPublie (École Polytechnique de Montréal)","topic":"Adversarial Robustness in Machine Learning","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Relaxation (psychology); Univariate; Computer science; Artificial neural network; Algorithm; Convex optimization; Linear programming relaxation; Linear programming; Exponential function; Regular polygon; Activation function; Mathematical optimization; Mathematics; Multivariate statistics; Artificial intelligence; Mathematical analysis; Geometry; Machine learning","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.004315235,0.001744669,0.001585024,0.0008018891,0.0007470307,0.002027713,0.003023034,0.001593443,0.005960131],"category_scores_gemma":[0.02029949,0.00101808,0.002029067,0.0008372874,0.002934964,0.005197966,0.004441322,0.006903295,0.001221498],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001848835,"about_ca_system_score_gemma":0.003096239,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002447074,"about_ca_topic_score_gemma":0.003068569,"domain_scores_codex":[0.9967507,0.0009697765,0.0001546951,0.0007275951,0.0009327758,0.0004644965],"domain_scores_gemma":[0.9912163,0.005741432,0.0006756198,0.001458651,0.0006967618,0.0002112077],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002830435,0.0001081485,0.0005249865,0.0003010672,0.00008906324,0.0002106615,0.0002009329,0.7740711,0.009220288,0.1161254,0.002960555,0.09590471],"study_design_scores_gemma":[0.00001609476,0.00004771027,0.00004168008,0.00002266922,0.000009215056,0.00003752473,0.00001206647,0.9610812,0.003560252,0.03447501,0.0006846373,0.00001190704],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005842836,0.0001077461,0.9917644,0.0002343543,0.00002928944,0.00005138839,0.00004711798,0.0004119484,0.001510812],"genre_scores_gemma":[0.4014509,0.0003593062,0.5926426,0.0004156272,0.00009596501,0.000305184,0.0002647763,0.0005924568,0.003873148],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005960131,"threshold_uncertainty_score":0.02282143,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01768905105007076,"score_gpt":0.2372244581559873,"score_spread":0.2195354071059166,"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."}}