{"id":"W4404848450","doi":"10.1109/focs61266.2024.00016","title":"Three-Edge-Coloring Projective Planar Cubic Graphs: A Generalization of the Four Color Theorem","year":2024,"lang":"en","type":"article","venue":"","topic":"Graph Labeling and Dimension Problems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Generalization; Edge coloring; Combinatorics; Projective test; Mathematics; Enhanced Data Rates for GSM Evolution; Planar graph; Graph coloring; Discrete mathematics; Computer science; Pure mathematics; Artificial intelligence; Graph; Mathematical analysis; Line 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.0003713938,0.0001097561,0.0001128032,0.0001503538,0.0001251902,0.0001034034,0.0004962652,0.00005152804,0.000007768591],"category_scores_gemma":[0.00002911286,0.00006322573,0.0001001641,0.001136613,0.00007192035,0.000149795,0.0001319902,0.0001001024,0.00001361577],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001950153,"about_ca_system_score_gemma":0.00009595836,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001337323,"about_ca_topic_score_gemma":0.00009410263,"domain_scores_codex":[0.9990003,0.00005455147,0.0002037465,0.0003170564,0.0002475888,0.0001767806],"domain_scores_gemma":[0.9993399,0.00008479536,0.00005406189,0.0003844541,0.0001028599,0.00003397391],"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.000003060304,0.00001900234,0.0006770858,0.00002676193,0.00003032999,0.000002810258,0.0006640027,0.0004703881,0.00523736,0.9898067,0.001373364,0.001689174],"study_design_scores_gemma":[0.0001665143,0.00009627788,0.001331453,0.0001238941,0.00001867282,0.00001842911,0.00004162102,0.3252904,0.01935144,0.6530024,0.0004121025,0.0001467643],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6013296,0.0009723484,0.3846803,0.002071896,0.002468034,0.0008271975,0.000004847089,0.0007426895,0.00690311],"genre_scores_gemma":[0.9883448,0.0000108858,0.01111345,0.0002006195,0.00001086395,0.00003248836,6.462304e-7,0.000009575252,0.0002766873],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3870152,"threshold_uncertainty_score":0.257827,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0235201920452681,"score_gpt":0.2357723255055464,"score_spread":0.2122521334602783,"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."}}