{"id":"W88640039","doi":"10.1007/978-3-319-15075-8_3","title":"Formalization of Zsyntax to Reason About Molecular Pathways in HOL4","year":2015,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Computational Drug Discovery Methods","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Theoretical computer science; 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.001957958,0.001347034,0.0009190294,0.001720739,0.001196917,0.003609535,0.003174484,0.0009024622,0.01428481],"category_scores_gemma":[0.003029622,0.001106875,0.003733124,0.001462085,0.0034264,0.006012355,0.004540434,0.003425669,0.002916727],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001776609,"about_ca_system_score_gemma":0.001497596,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004178524,"about_ca_topic_score_gemma":0.005660705,"domain_scores_codex":[0.9987533,0.0002563647,0.0001614504,0.0002693308,0.0004023908,0.0001571493],"domain_scores_gemma":[0.9988709,0.0005952994,0.00006358673,0.0002696447,0.0001574584,0.00004315982],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001889381,0.00005437884,0.0006178775,0.0004831564,0.00009633417,0.0002474117,0.000575264,0.0173216,0.003454441,0.9038487,0.007936191,0.06517574],"study_design_scores_gemma":[0.00007910786,0.0000343654,0.0001782949,0.000102127,0.0001133617,0.0001224923,0.00009855325,0.05934611,0.007374986,0.881808,0.05069626,0.00004634603],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004633738,0.0002632921,0.9814735,0.0003025057,0.0001293718,0.00008144137,0.0006690618,0.005543939,0.006903197],"genre_scores_gemma":[0.1737677,0.0006310996,0.8051979,0.0006398598,0.0002141235,0.0004603692,0.003215759,0.003936188,0.011937],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01428481,"threshold_uncertainty_score":0.04778749,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03124481979711152,"score_gpt":0.2928421379637645,"score_spread":0.2615973181666529,"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."}}