{"id":"W2730785852","doi":"10.1371/journal.pone.0180179","title":"Formal reasoning about systems biology using theorem proving","year":2017,"lang":"en","type":"article","venue":"PLoS ONE","topic":"Gene Regulatory Network Analysis","field":"Biochemistry, Genetics and Molecular Biology","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Automated theorem proving; Mathematical proof; Computer science; HOL; Systems biology; Abstraction; Formal methods; Theoretical computer science; Modelling biological systems; Biological network; Artificial intelligence; Computational biology; Programming language; Biology; Mathematics","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.01379985,0.001548463,0.0008561874,0.002334682,0.001362946,0.004117189,0.003697934,0.001294956,0.005837237],"category_scores_gemma":[0.01758553,0.0008754372,0.003365275,0.001662999,0.006486791,0.005949668,0.003491898,0.004316874,0.001246067],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002449102,"about_ca_system_score_gemma":0.003137639,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002551477,"about_ca_topic_score_gemma":0.001653338,"domain_scores_codex":[0.9929604,0.003233242,0.0007518585,0.0007552527,0.001735008,0.0005642669],"domain_scores_gemma":[0.9803889,0.01619234,0.0007650403,0.001528178,0.0009324383,0.0001931436],"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.00004486295,0.00007615704,0.0003861386,0.0006423959,0.00009507318,0.0004282847,0.0006432894,0.04068755,0.00306677,0.9128533,0.002254743,0.03882128],"study_design_scores_gemma":[0.00008230856,0.00005380935,0.0001376435,0.0001659292,0.00006640938,0.0002060427,0.00008547113,0.08443122,0.006675463,0.8841832,0.02386751,0.00004505159],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001710951,0.0002543558,0.9945797,0.0004601675,0.00005646944,0.00006602456,0.0001185462,0.0006722948,0.002081474],"genre_scores_gemma":[0.1273035,0.001675214,0.8666042,0.000673012,0.0003267992,0.0003972568,0.0006147227,0.0003317507,0.002073614],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01379985,"threshold_uncertainty_score":0.07298142,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03074695798270176,"score_gpt":0.2511486317638904,"score_spread":0.2204016737811887,"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."}}