{"id":"W4249857270","doi":"10.1090/spec/033/05","title":"Logic and Foundations","year":2001,"lang":"en","type":"other","venue":"MAA spectrum","topic":"","field":"","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"York University","funders":"","keywords":"Computer science; Programming language","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.0005501117,0.0008827116,0.0006779643,0.001684965,0.002262474,0.008084613,0.00113582,0.001366969,0.277325],"category_scores_gemma":[0.001811014,0.0005096452,0.0004986644,0.002807251,0.001772349,0.005625113,0.001979404,0.002823641,0.1143354],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002894473,"about_ca_system_score_gemma":0.00204179,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006495909,"about_ca_topic_score_gemma":0.01084788,"domain_scores_codex":[0.9994992,0.0001293433,0.0000169689,0.0001064016,0.0001819642,0.00006617231],"domain_scores_gemma":[0.9994448,0.0001562386,0.00003014087,0.0001365822,0.0001528938,0.00007932344],"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.00001489829,0.00003381984,0.000124469,0.00006712114,0.000006012911,0.00003976432,0.000171691,0.0002371347,0.0001569545,0.5314199,0.3783004,0.08942787],"study_design_scores_gemma":[0.000007301622,0.000005457325,0.0001938054,0.00008334472,0.000006636718,0.0000678323,0.0001275328,0.0006852946,0.0001410567,0.3016624,0.6970119,0.000007456718],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0007138179,0.00196384,0.007000532,0.002988814,0.0002583606,0.00001277825,0.0004933549,0.0006072584,0.9859613],"genre_scores_gemma":[0.02553417,0.002323332,0.003974152,0.000690048,0.0003733496,0.00004275826,0.0007314628,0.0007125938,0.9656182],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.277325,"threshold_uncertainty_score":0.9277446,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02104589292538277,"score_gpt":0.2743129578755999,"score_spread":0.2532670649502172,"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."}}