{"id":"W4409506451","doi":"10.1007/978-3-031-85356-2_5","title":"A High Parallelization Method for Automated Formal Verification of Deep Neural Networks","year":2025,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Adversarial Robustness in Machine Learning","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"École de Technologie Supérieure","funders":"","keywords":"Computer science; Artificial neural network; Deep neural networks; Formal methods; Parallel computing; Formal verification; Artificial intelligence; Programming language","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.002975297,0.001971114,0.001307074,0.001437265,0.001118161,0.002613004,0.003599098,0.001290159,0.02536006],"category_scores_gemma":[0.01494386,0.001518867,0.004186009,0.0009216781,0.002556883,0.004752623,0.005907077,0.004788211,0.005589135],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001732688,"about_ca_system_score_gemma":0.003079639,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002520753,"about_ca_topic_score_gemma":0.004688099,"domain_scores_codex":[0.9947532,0.001294175,0.0004901896,0.001167794,0.001700303,0.0005943025],"domain_scores_gemma":[0.9874199,0.00650279,0.0004183704,0.004070656,0.001420586,0.0001677253],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0006788349,0.0003275998,0.001774963,0.001055373,0.0003602522,0.0006140153,0.0004877044,0.1267634,0.04143133,0.3259905,0.02452591,0.4759901],"study_design_scores_gemma":[0.0001774352,0.0001246195,0.0002974605,0.0001042681,0.0001256872,0.0002075538,0.00007690029,0.5665171,0.03941315,0.3755736,0.01730494,0.00007726507],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001793208,0.00005615516,0.9894745,0.0001331196,0.00007095185,0.0001022829,0.000138962,0.006744676,0.001486125],"genre_scores_gemma":[0.15242,0.0001458448,0.8354744,0.0003999467,0.0001622647,0.0006653728,0.00105703,0.004109267,0.005565984],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02536006,"threshold_uncertainty_score":0.08483791,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01152814496175352,"score_gpt":0.2806651310954112,"score_spread":0.2691369861336577,"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."}}