{"id":"W2611365002","doi":"10.4086/toc.2007.v003a005","title":"","year":2007,"lang":"en","type":"article","venue":"Theory of Computing","topic":"Mathematics and Applications","field":"Mathematics","cited_by":53,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; University of Toronto; Deutsche Forschungsgemeinschaft; University of Pittsburgh","keywords":"Computer science; Mathematics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007409821,0.000143836,0.0003390479,0.0001026337,0.0001782579,0.00001221664,0.0003524481,0.00005115645,0.00001478205],"category_scores_gemma":[0.0006520988,0.0001302986,0.0001118521,0.0002540876,0.0001292974,0.000041588,0.0001346199,0.0001239794,0.00000184974],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001508496,"about_ca_system_score_gemma":0.00001398378,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002326729,"about_ca_topic_score_gemma":0.000002740118,"domain_scores_codex":[0.9983458,0.00007280448,0.0008111551,0.0001738552,0.0002546665,0.000341708],"domain_scores_gemma":[0.9931502,0.005647081,0.0004924281,0.0004952428,0.0001305729,0.00008445253],"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.00002071165,0.0001924931,0.0001664177,0.0001571396,0.00002807378,0.000001297985,0.005422901,0.0000205714,0.009481146,0.9738282,0.00006577737,0.01061528],"study_design_scores_gemma":[0.0003075321,0.00003218522,0.001165095,0.0001134689,0.00002921135,0.00001371674,0.002317771,0.001051563,0.04203083,0.9527588,0.00004073879,0.0001390732],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5210335,0.000009919438,0.4756133,0.00003036808,0.0000183175,0.0001419117,5.813121e-7,0.00007350621,0.003078564],"genre_scores_gemma":[0.7858804,4.412109e-7,0.2139485,0.00003769402,0.00006939326,0.00000117427,5.477947e-7,0.00001806286,0.00004384882],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2648469,"threshold_uncertainty_score":0.5313423,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06560666522432046,"score_gpt":0.3598275821368961,"score_spread":0.2942209169125757,"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."}}