{"id":"W4400538358","doi":"10.1137/23m1553273","title":"Graphs with Large Girth and Chromatic Number are Hard for Nullstellensatz","year":2024,"lang":"en","type":"article","venue":"SIAM Journal on Discrete Mathematics","topic":"Graph Labeling and Dimension Problems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"Office of Naval Research; Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Chromatic scale; Combinatorics; Girth (graph theory); Discrete mathematics","routes":{"ca_aff":true,"ca_fund":true,"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.003568352,0.00239054,0.003880853,0.002588006,0.005423763,0.009414061,0.005235749,0.006194026,0.01662681],"category_scores_gemma":[0.03222279,0.002918722,0.002671414,0.003391216,0.01001692,0.01514499,0.005800288,0.01033773,0.00182375],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003492371,"about_ca_system_score_gemma":0.003038375,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002827045,"about_ca_topic_score_gemma":0.003081632,"domain_scores_codex":[0.9965222,0.001059711,0.0001609673,0.001007434,0.0006015261,0.0006481676],"domain_scores_gemma":[0.9225377,0.06510727,0.003857371,0.003936029,0.001703499,0.00285811],"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.003065655,0.0009551935,0.007371835,0.001159159,0.0003515342,0.0009603515,0.001090199,0.08850119,0.007614697,0.8284597,0.04021262,0.02025781],"study_design_scores_gemma":[0.0003113926,0.00007891256,0.0009725197,0.00005531395,0.00004355934,0.0003000762,0.0003493022,0.04369737,0.001421167,0.9509917,0.001724762,0.0000537924],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8352185,0.00140508,0.0692746,0.02743612,0.0006361946,0.0003529352,0.004517153,0.001825304,0.05933407],"genre_scores_gemma":[0.9713747,0.0005787611,0.01490641,0.001513841,0.0006919881,0.000224091,0.00288087,0.0005033049,0.007325952],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01662681,"threshold_uncertainty_score":0.05562222,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01550914659044384,"score_gpt":0.2532355052430149,"score_spread":0.2377263586525711,"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."}}