{"id":"W4289325413","doi":"","title":"Modelling and Verifying Dynamic Properties of Biological Neural Networks in Coq","year":2018,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Computer science; Artificial neural network; Programming language; Artificial intelligence","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003255012,0.0001111788,0.0001598457,0.0001058518,0.0001474847,0.0001059721,0.0007299433,0.00008818533,0.000003883642],"category_scores_gemma":[0.0004118343,0.0001003185,0.00003261013,0.0004313694,0.0003436525,0.0003193758,0.0004035379,0.0001643839,0.000002121465],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003242335,"about_ca_system_score_gemma":0.00002808345,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002046853,"about_ca_topic_score_gemma":0.0001024821,"domain_scores_codex":[0.9970936,0.00189203,0.0003160193,0.0003445185,0.0001414817,0.0002123879],"domain_scores_gemma":[0.9982804,0.0002551738,0.0001681439,0.0007249276,0.0005153055,0.00005603483],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00007042916,0.0006060029,0.01111093,0.0001455052,0.00003388199,0.000003962183,0.03096969,0.02049523,0.04092475,0.5501127,0.0000210034,0.3455059],"study_design_scores_gemma":[0.0001543961,0.00000102516,0.001779306,0.0001902702,0.000001645602,0.000005536301,0.00004028405,0.9733667,0.02345167,0.0008218372,0.00008282167,0.0001045231],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3882026,0.0004002656,0.6100082,0.0003717311,0.00005889295,0.0000929673,4.757216e-7,0.0000512937,0.0008135403],"genre_scores_gemma":[0.7105342,0.0001198635,0.2892482,0.00002320077,0.000004387673,0.000008506212,0.000002503155,0.000005293386,0.00005386761],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9528714,"threshold_uncertainty_score":0.4090871,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04380900533606108,"score_gpt":0.2532512027783774,"score_spread":0.2094421974423163,"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."}}