{"id":"W1504640313","doi":"10.2178/jsl/1174668397","title":"Bounding homogenous models","year":2007,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Degree (music); Decidability; Bounding overwatch; Homogeneous; Mathematics; Peano axioms; Extension (predicate logic); Discrete mathematics; Combinatorics; Computer science; Physics; Artificial intelligence","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":[],"consensus_categories":[],"category_scores_codex":[0.002838134,0.0001985443,0.0004312235,0.0003811233,0.0001692485,0.000214114,0.00164777,0.0001091343,0.00001765078],"category_scores_gemma":[0.0001145481,0.0001549673,0.0002496456,0.000652662,0.00008094174,0.000832671,0.0003340221,0.0004190536,0.00002674775],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000250211,"about_ca_system_score_gemma":0.0001832161,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001520617,"about_ca_topic_score_gemma":0.000005605085,"domain_scores_codex":[0.99756,0.00008764877,0.0008237858,0.0002740822,0.0006879475,0.0005666008],"domain_scores_gemma":[0.9980449,0.0002848086,0.0004955796,0.0005076829,0.0003834334,0.0002835838],"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.00008615601,0.001690088,0.003562004,0.00009844077,0.0002720802,0.003607371,0.01269596,0.03242441,0.007334122,0.5263402,0.001473237,0.4104159],"study_design_scores_gemma":[0.001121781,0.0009819474,0.01077442,0.00006476285,0.000037496,0.006273782,0.0002594044,0.07826738,0.001401924,0.8978469,0.002390898,0.0005792942],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1385522,0.0009212603,0.8531438,0.0006790047,0.001365238,0.0000998685,4.339415e-7,0.00007482077,0.005163377],"genre_scores_gemma":[0.8916911,0.00004497444,0.107125,0.0004720435,0.0005969648,6.138782e-7,1.393036e-7,0.00001029082,0.00005886259],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.753139,"threshold_uncertainty_score":0.6319383,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.031414162483599,"score_gpt":0.2687297140358942,"score_spread":0.2373155515522952,"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."}}