{"id":"W2401037690","doi":"","title":"Lower Bounds on Ramsey Numbers R(6, 8), R(7, 9) and R(8, 17).","year":2010,"lang":"en","type":"article","venue":"Ars Combinatoria","topic":"Limits and Structures in Graph Theory","field":"Mathematics","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Ramsey's theorem; Mathematics; Combinatorics; Graph; Integer (computer science); Clique; Constructive; Order (exchange); Independent set; Discrete mathematics; Upper and lower bounds","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"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.0003408607,0.0001944775,0.0002231175,0.00006178016,0.0002946056,0.0000642486,0.0002281571,0.0001868015,0.0002537475],"category_scores_gemma":[0.0002943372,0.0001616058,0.00007634563,0.0001069929,0.0002065345,0.00008500724,0.0001114728,0.0004801509,0.00001963787],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001394548,"about_ca_system_score_gemma":0.000017618,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009789852,"about_ca_topic_score_gemma":0.0000152613,"domain_scores_codex":[0.9989825,0.00004203897,0.0002011058,0.0002706995,0.0002322371,0.0002714108],"domain_scores_gemma":[0.9987919,0.0003880659,0.00008583827,0.0005519927,0.00004967678,0.0001325567],"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.0000344995,0.00008034408,0.001597034,0.00001536238,0.00003187311,0.00001117671,0.0004117514,5.726837e-8,0.0002810419,0.9820018,0.01501772,0.000517299],"study_design_scores_gemma":[0.0006752962,0.0001178386,0.001841045,0.00001503596,0.00002173542,0.00001634538,0.00003406871,0.000008222026,0.0004986205,0.9782181,0.01834644,0.0002072437],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9402092,0.00002145518,0.000002182628,0.0001487398,0.004858516,0.0001393804,0.000003853742,0.0001017777,0.05451487],"genre_scores_gemma":[0.9972832,0.000008608161,0.000664994,0.0003220002,0.00003559456,0.000008613907,0.000001751267,0.00003592755,0.001639333],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.05707395,"threshold_uncertainty_score":0.6590092,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01218093263408757,"score_gpt":0.2683329110728982,"score_spread":0.2561519784388106,"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."}}