{"id":"W6987828393","doi":"","title":"Understanding Neural Networks Properties by Testing and Specification Mining","year":2025,"lang":"en","type":"dissertation","venue":"eScholarship@McGill (McGill)","topic":"Neural Networks and Applications","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Artificial neural network; Feature (linguistics); Key (lock); Field (mathematics); Expert system","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.003042192,0.0006104684,0.0005093698,0.001073099,0.000474984,0.002020177,0.001546364,0.001029241,0.00554837],"category_scores_gemma":[0.04215538,0.000581936,0.001196344,0.0007209221,0.001526379,0.005564687,0.001094165,0.002183913,0.0008640033],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001128453,"about_ca_system_score_gemma":0.001434421,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004942465,"about_ca_topic_score_gemma":0.008898788,"domain_scores_codex":[0.9968907,0.001081601,0.0002245671,0.0005858511,0.000998201,0.0002189779],"domain_scores_gemma":[0.9500767,0.04056991,0.001945986,0.003912768,0.003159843,0.0003347586],"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.0005124792,0.0004779647,0.03073814,0.0008135646,0.0002295895,0.0007230272,0.0006972117,0.2675677,0.01617743,0.2516135,0.014698,0.4157514],"study_design_scores_gemma":[0.00002759401,0.00006042452,0.002004393,0.0000704377,0.0000440403,0.00008536816,0.0001238094,0.8002218,0.01002964,0.184249,0.003063542,0.00002012182],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1043505,0.0003744998,0.8820834,0.002224969,0.00006412539,0.0001277753,0.0008584174,0.002842206,0.007074053],"genre_scores_gemma":[0.744617,0.0004848693,0.2484129,0.0003665159,0.00007423175,0.0001974517,0.001966426,0.0005986538,0.003281942],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00554837,"threshold_uncertainty_score":0.01856112,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08982339094331582,"score_gpt":0.2451947928378349,"score_spread":0.1553714018945191,"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."}}