{"id":"W7110653406","doi":"","title":"Review of forall x: Calgary An Introduction to Formal Logic","year":2024,"lang":"","type":"article","venue":"ScholarWorks @ UTRGV (The University of Texas Rio Grande Valley)","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Formal methods; Philosophy of logic; Theory; Formal system","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002217132,0.0004988463,0.0008628297,0.0004885276,0.0007109827,0.0001611063,0.002873138,0.0003089272,0.0008756054],"category_scores_gemma":[0.0002135291,0.0004260532,0.000689902,0.002540981,0.0005425331,0.003467717,0.001154132,0.001320305,0.0001771245],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001726478,"about_ca_system_score_gemma":0.0003400489,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001069861,"about_ca_topic_score_gemma":0.00008706759,"domain_scores_codex":[0.9959888,0.0005940569,0.0007040696,0.001206295,0.0007308974,0.0007758349],"domain_scores_gemma":[0.9967602,0.0001683741,0.0003620292,0.001682283,0.0005332995,0.0004938421],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0008814463,0.001011693,0.0004301819,0.01383906,0.0008047817,0.0002586704,0.006596224,0.005533397,0.0006943942,0.1869975,0.03308737,0.7498652],"study_design_scores_gemma":[0.002843916,0.004044026,0.005285767,0.02160626,0.00149774,0.0002281182,0.0009952803,0.03626134,0.0005665873,0.03182945,0.8926483,0.002193166],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01437022,0.1512127,0.799448,0.02693382,0.003063306,0.002321616,0.0000420365,0.0003450678,0.002263209],"genre_scores_gemma":[0.650803,0.2456098,0.08448897,0.006930178,0.002207743,0.000005413508,0.0001564996,0.0001597823,0.009638614],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.859561,"threshold_uncertainty_score":0.9998191,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01698445129767888,"score_gpt":0.2437019763820746,"score_spread":0.2267175250843957,"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."}}