{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003723974,0.0008371821,0.0008095033,0.000784992,0.0008434883,0.002487349,0.002119784,0.001485535,0.003178571],"category_scores_gemma":[0.0172697,0.0005898297,0.001418095,0.0005187318,0.003897008,0.003171519,0.002202102,0.001786276,0.0003977049],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002768151,"about_ca_system_score_gemma":0.003051594,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01384008,"about_ca_topic_score_gemma":0.0101944,"domain_scores_codex":[0.996759,0.0008927465,0.0002074664,0.0007280363,0.0009401806,0.0004726233],"domain_scores_gemma":[0.9847448,0.009896563,0.001408708,0.001858208,0.001848965,0.0002426223],"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.0002074199,0.00006771561,0.002531115,0.0002576798,0.00009469489,0.0005583569,0.0004962535,0.7635264,0.01354468,0.2026383,0.0005444149,0.01553305],"study_design_scores_gemma":[0.00002162954,0.00003550843,0.0002418261,0.00002200459,0.00002479255,0.00006113084,0.00004498046,0.9202393,0.008844838,0.06932675,0.001124236,0.00001292116],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.07569308,0.0001344827,0.9189292,0.0002677302,0.00005419826,0.0001165859,0.0001443617,0.00115809,0.003502237],"genre_scores_gemma":[0.9172074,0.000128038,0.07960168,0.00009301773,0.00002664805,0.0001809002,0.0001882856,0.0002910751,0.002283034],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01384008,"threshold_uncertainty_score":0.02751905,"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."}}