{"id":"W1849765400","doi":"10.3233/fun-2001-48106","title":"Computability in Type-2 Objects with Well-Behaved Type-1 Oracles is p-Normal","year":2001,"lang":"en","type":"article","venue":"Fundamenta Informaticae","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Computability; Type (biology); Computer science; Programming language; Mathematics; Discrete mathematics; Algorithm","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":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0006826308,0.000369596,0.0004593024,0.0002530091,0.0001698441,0.000407265,0.001304356,0.0001232101,0.0005239351],"category_scores_gemma":[0.00005974758,0.0003105308,0.000075798,0.001651433,0.0001973595,0.001719196,0.0008113268,0.000382957,0.0009260275],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003207311,"about_ca_system_score_gemma":0.0002475042,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002242974,"about_ca_topic_score_gemma":0.0001672571,"domain_scores_codex":[0.9971501,0.0001118873,0.000805347,0.0004928057,0.0006792364,0.0007606769],"domain_scores_gemma":[0.9978613,0.0002193206,0.0002102348,0.001242048,0.000229917,0.0002371334],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0008021849,0.003220985,0.6704302,0.0006825456,0.0002420618,0.0003484409,0.04775507,0.008242469,0.0001597223,0.01101761,0.007249978,0.2498487],"study_design_scores_gemma":[0.004370552,0.002448783,0.3441997,0.0002069055,0.00004119319,0.0005350917,0.00196949,0.5837115,0.000993126,0.005643948,0.05394381,0.00193584],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9265958,0.00009225136,0.04585299,0.0008707792,0.0007911801,0.0009815469,0.00000633631,0.0004865583,0.02432252],"genre_scores_gemma":[0.9488549,0.00002403509,0.04921054,0.001613998,0.00005950102,0.00001937153,0.00001515595,0.00001735545,0.00018509],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5754691,"threshold_uncertainty_score":0.9999347,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01929553382772611,"score_gpt":0.2530119135057787,"score_spread":0.2337163796780526,"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."}}