{"id":"W4401025033","doi":"10.24963/ijcai.2024/292","title":"Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3,8) and R(3,9) Problems","year":2024,"lang":"en","type":"article","venue":"","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Windsor; University of Waterloo","funders":"","keywords":"Democracy; Computer science; Political science; Law; Politics","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":["scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0003589104,0.0001429922,0.000146212,0.00006817558,0.0002555244,0.001215284,0.0004083067,0.00004965289,0.000004772287],"category_scores_gemma":[0.000005058197,0.00008781099,0.00004856072,0.0002126681,0.0001393783,0.0002864165,0.0002587308,0.0001082219,0.00001204536],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000008507665,"about_ca_system_score_gemma":0.00001551709,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009128387,"about_ca_topic_score_gemma":0.00000980304,"domain_scores_codex":[0.9989733,0.00003222303,0.0001919693,0.000445671,0.0001303179,0.000226521],"domain_scores_gemma":[0.998974,0.0005610713,0.00002536028,0.0003335802,0.00003733598,0.00006864272],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000004880845,0.00002456381,0.00006543207,0.0003605574,0.0001012764,0.000004863291,0.001158186,0.0001065009,0.0002503248,0.7737027,0.007732231,0.2164885],"study_design_scores_gemma":[0.0001255924,0.00007790966,0.0004887638,0.00005014876,0.00001174969,0.00006410088,0.00002826884,0.9191295,0.00008842742,0.02105266,0.05874011,0.0001427812],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001615841,0.01002812,0.9827989,0.003319482,0.001204703,0.0005693227,0.000005243541,0.0003171563,0.0001412861],"genre_scores_gemma":[0.9473215,0.0005526451,0.04997757,0.0005248076,0.0004218865,0.0001775166,0.000006434172,0.00002637825,0.0009912404],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9457057,"threshold_uncertainty_score":0.9998215,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03572882690136296,"score_gpt":0.2408761179874869,"score_spread":0.205147291086124,"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."}}