{"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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0000547133,0.0002308464,0.0002172768,0.0003295766,0.00006048814,0.00006178055,0.0001352158,0.0002016906,0.08536103],"category_scores_gemma":[0.00001756658,0.000223678,0.00004117688,0.0002189374,0.0001149355,0.00001959717,0.00006065871,0.0001863275,0.03006689],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007993434,"about_ca_system_score_gemma":0.00002359685,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001374934,"about_ca_topic_score_gemma":0.00737692,"domain_scores_codex":[0.9991065,0.00003026644,0.0001008357,0.0003313581,0.0001482276,0.0002828401],"domain_scores_gemma":[0.999428,0.00001325325,0.0001102699,0.0003737561,0.000004493912,0.00007027658],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000001958361,0.00002871191,0.000987283,0.00001524681,0.00004358718,0.0000310964,0.000009673577,2.555324e-7,0.00002520193,0.01693062,0.9812827,0.0006436431],"study_design_scores_gemma":[0.0001974034,0.00002311179,0.0007681305,0.00003623975,0.00003984204,0.00003853531,0.00001066859,0.000007895083,0.000006822294,0.007383651,0.9912349,0.0002528237],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00001985318,0.0007466004,0.0003836943,0.0005171542,0.0002085725,0.0002393738,0.0001326552,0.0007174893,0.9970346],"genre_scores_gemma":[0.0005740221,0.0001860296,0.0007954445,0.00007534371,0.0006633675,0.00001475426,0.0001109338,0.00108246,0.9964976],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.05529414,"threshold_uncertainty_score":0.9706883,"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."}}