{"id":"W4205197728","doi":"10.1017/s0960129599002996","title":"Introduction","year":2000,"lang":"en","type":"article","venue":"Mathematical Structures in Computer Science","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Honour; Wish; Philosophy of mathematics; Publication; Computer science; Classics; Library science; Art history; Philosophy; Epistemology; History; Sociology; Law; Political science; Anthropology","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":[],"consensus_categories":[],"category_scores_codex":[0.001064595,0.0002379261,0.0002907284,0.0002506354,0.0002234481,0.0005884992,0.003003078,0.00005751234,0.0007854313],"category_scores_gemma":[0.0001047774,0.0001937176,0.00006870648,0.0019132,0.0006488321,0.000960745,0.0007469085,0.0002644319,0.0002218467],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000171066,"about_ca_system_score_gemma":0.0001005206,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008255734,"about_ca_topic_score_gemma":0.000002120572,"domain_scores_codex":[0.9967767,0.00008638106,0.0004787584,0.001109065,0.0008853116,0.0006637631],"domain_scores_gemma":[0.9981365,0.0001723922,0.000059517,0.001340407,0.0000928841,0.0001982513],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002780283,0.00009594218,0.0001159253,0.00001710905,0.000001858878,0.00002377031,0.0004672216,0.006821682,0.00009445456,0.1954152,0.000312511,0.7966315],"study_design_scores_gemma":[0.0001313282,0.00003923501,0.005786009,0.000007328328,9.286775e-7,0.000146914,0.000001568787,0.5813419,0.0003762027,0.4112092,0.0007767548,0.0001825672],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.06643367,0.00002695922,0.9285145,0.0022159,0.00084239,0.0002333983,4.972702e-7,0.0002750225,0.001457695],"genre_scores_gemma":[0.4455479,0.000002047891,0.5535614,0.0003220493,0.000508252,0.000008736505,3.681468e-7,0.000006597675,0.00004267105],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7964489,"threshold_uncertainty_score":0.8599922,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009863122991491707,"score_gpt":0.248374828716861,"score_spread":0.2385117057253693,"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."}}