{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001656235,0.0005880749,0.0007691354,0.001247645,0.001260059,0.002547484,0.001322223,0.0005851216,0.006355233],"category_scores_gemma":[0.005780282,0.0007696966,0.001332898,0.0008449398,0.003750158,0.007364257,0.00695501,0.002201932,0.0007200873],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00184122,"about_ca_system_score_gemma":0.001025801,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003100145,"about_ca_topic_score_gemma":0.002487893,"domain_scores_codex":[0.9974505,0.0004573701,0.0001660241,0.0007022064,0.0006470706,0.0005767899],"domain_scores_gemma":[0.9937402,0.00288892,0.0004486715,0.001634989,0.0006710807,0.0006162195],"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.0001420957,0.00006013196,0.00260471,0.0001353452,0.0000419545,0.0002662484,0.0009980807,0.01319831,0.008859703,0.9590696,0.001164276,0.01345944],"study_design_scores_gemma":[0.00005220124,0.0000855402,0.001512933,0.00006278251,0.000109376,0.00031125,0.0004653118,0.04501451,0.02092645,0.9089303,0.02248169,0.00004760035],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3918703,0.0006543382,0.5437192,0.001038014,0.00008306601,0.0002059234,0.0006806332,0.00172337,0.06002527],"genre_scores_gemma":[0.9632494,0.0002184365,0.02845101,0.0001413648,0.00006954758,0.00007185728,0.0003466507,0.0001299374,0.007321667],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006355233,"threshold_uncertainty_score":0.02126032,"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."}}