{"id":"W4231023460","doi":"10.4324/9781315262628","title":"An Invitation to Formal Reasoning","year":2017,"lang":"en","type":"book","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Computer science","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0004053581,0.0002493889,0.000262829,0.0001591488,0.0003726176,0.0006970447,0.002073041,0.0002453961,0.00004590453],"category_scores_gemma":[0.0001050958,0.0002125869,0.00009216854,0.00004581012,0.00002859182,0.001416652,0.0004436695,0.0002188075,0.0009240836],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001287428,"about_ca_system_score_gemma":0.0003923965,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002299163,"about_ca_topic_score_gemma":0.0001309699,"domain_scores_codex":[0.9985576,0.00003019287,0.0001929681,0.000554985,0.0002794984,0.0003847691],"domain_scores_gemma":[0.9980426,0.00004470042,0.0001864151,0.001303955,0.000166529,0.000255793],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000003079997,0.000018617,0.00002702891,0.00001843563,0.0000127367,0.00001709008,0.001325628,0.000008177439,0.00001246325,0.7612625,0.1412439,0.0960504],"study_design_scores_gemma":[0.0002972448,0.0005036969,0.0008631086,0.0002130278,0.0000190309,0.00003212787,0.00001711615,0.01267391,0.0001312907,0.04350764,0.9408485,0.0008932709],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00001629797,0.00005584524,0.3053173,0.0000933029,0.0005514585,0.0001514288,0.00000144208,0.0002110846,0.6936018],"genre_scores_gemma":[0.002644295,0.000009544948,0.05758997,0.0007059416,0.000630318,0.00001919414,0.00003669955,0.00002327231,0.9383408],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.7996047,"threshold_uncertainty_score":0.9998538,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02144416905146842,"score_gpt":0.2787513157480034,"score_spread":0.257307146696535,"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."}}