{"id":"W3170119173","doi":"10.1137/22m1480616","title":"Unambiguous DNFs and Alon–Saks–Seymour","year":2023,"lang":"en","type":"article","venue":"SIAM Journal on Computing","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"European Regional Development Fund","keywords":"Mathematics; Logarithm; Combinatorics; Partition (number theory); Chromatic scale; Graph; Discrete mathematics; Extremal graph theory; Line graph; Voltage graph","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":[],"consensus_categories":[],"category_scores_codex":[0.0009880792,0.0001838101,0.0002256137,0.0003727697,0.0008081887,0.0005865076,0.0007894428,0.00005591127,0.00001012703],"category_scores_gemma":[0.00008454891,0.0001675088,0.0001130641,0.0009074593,0.00005716739,0.0002613595,0.0005199728,0.0005885297,0.0001340094],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004238656,"about_ca_system_score_gemma":0.00005399084,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007525325,"about_ca_topic_score_gemma":0.00000165365,"domain_scores_codex":[0.9982275,0.0001220814,0.0003413187,0.0003525885,0.000444841,0.0005116813],"domain_scores_gemma":[0.998933,0.000281153,0.0001677218,0.0003064217,0.0000858349,0.0002258861],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001342649,0.0001028148,0.001327535,0.00003791917,0.00008099319,0.001289564,0.002105795,0.005745376,0.0003033695,0.08707394,0.008071805,0.8938475],"study_design_scores_gemma":[0.00120067,0.0005192948,0.0352279,0.000355801,0.00001109552,0.002521378,0.0001883716,0.8527107,0.0003638492,0.09130029,0.01495055,0.000650085],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5786389,0.0005796442,0.4009486,0.008369503,0.004815583,0.0001991075,0.000003175307,0.001126369,0.0053191],"genre_scores_gemma":[0.9738891,0.00007844219,0.02434965,0.0007350097,0.0007062688,6.833994e-7,0.000001010159,0.00001761618,0.0002222273],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8931974,"threshold_uncertainty_score":0.6830812,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02501296454953974,"score_gpt":0.2712859524938219,"score_spread":0.2462729879442821,"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."}}