{"id":"W2799054834","doi":"10.3233/com-180094","title":"The reverse mathematics of Hindman’s Theorem for sums of exactly two elements","year":2018,"lang":"en","type":"preprint","venue":"Computability","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Mathematics; Reverse mathematics; Combinatorics; Computability; Ramsey's theorem; Discrete mathematics; Diagonal; Function (biology); Axiom","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","open_science"],"consensus_categories":[],"category_scores_codex":[0.006995123,0.0006214182,0.001320307,0.0001300714,0.0002640123,0.0001782199,0.005783688,0.0002999897,0.0000247867],"category_scores_gemma":[0.001260622,0.0004673145,0.0007779466,0.000388212,0.001176365,0.0001640976,0.007565428,0.0005702606,0.00000936446],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003074211,"about_ca_system_score_gemma":0.0005857396,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001038687,"about_ca_topic_score_gemma":0.00004987882,"domain_scores_codex":[0.9940574,0.0005736668,0.00225936,0.001445413,0.0009698006,0.0006943241],"domain_scores_gemma":[0.9874045,0.003573513,0.001860576,0.005311267,0.001681138,0.0001689742],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0005661229,0.009825309,0.03630762,0.01976929,0.002293617,0.00001227523,0.0230359,0.0173256,0.001396173,0.4062556,0.0105968,0.4726157],"study_design_scores_gemma":[0.0006533589,0.0002770464,0.003372371,0.0001606649,0.00006043466,0.000004258114,0.00006258108,0.4121635,0.002590199,0.579317,0.0009185462,0.0004200645],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2162442,0.0002075937,0.7770059,0.0003737373,0.002542387,0.002821032,0.000131633,0.0001833467,0.0004902419],"genre_scores_gemma":[0.6103521,0.00001613189,0.3891496,0.00003986568,0.0002427103,0.000114478,0.00001797419,0.00003446678,0.00003271225],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.4721957,"threshold_uncertainty_score":0.9997779,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04319915243120117,"score_gpt":0.3186231787592454,"score_spread":0.2754240263280442,"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."}}