{"id":"W4395452445","doi":"10.1002/jgt.23091","title":"Another proof of Seymour's 6‐flow theorem","year":2024,"lang":"en","type":"article","venue":"Journal of Graph Theory","topic":"Advanced Graph Theory Research","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Mathematical proof; Combinatorial proof; Generalization; Combinatorics; Robertson–Seymour theorem; Graph; Discrete mathematics; Flow (mathematics); Graph minor; Voltage graph; 1-planar graph; Line graph; Mathematical analysis; Geometry","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004086001,0.0001744637,0.0003391122,0.0008973418,0.00006565249,0.0001119673,0.001506363,0.00007770349,0.0001159398],"category_scores_gemma":[0.0001813268,0.0001222368,0.0004162219,0.001209276,0.00035378,0.0008693772,0.0001771477,0.0005001326,0.00001293335],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003564568,"about_ca_system_score_gemma":0.0001900388,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":4.38719e-7,"about_ca_topic_score_gemma":4.120809e-7,"domain_scores_codex":[0.9976608,0.000522828,0.0005679977,0.0002368611,0.0006813753,0.0003301188],"domain_scores_gemma":[0.9979939,0.0007627698,0.0002655636,0.0005432998,0.0003171322,0.0001172916],"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.0001392178,0.00008797194,0.0000525271,0.00007531089,0.0001712068,0.0001684685,0.001026966,0.0003448948,0.005177276,0.8587099,0.0005603968,0.1334859],"study_design_scores_gemma":[0.0002671906,0.0003595532,0.00007928284,0.000237241,0.00001935731,0.0003049695,0.00009569793,0.001592164,0.02599891,0.967843,0.003069721,0.000132893],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01225281,0.007065036,0.9747042,0.0006477325,0.0007940627,0.0001482975,0.000005569151,0.0000613035,0.00432098],"genre_scores_gemma":[0.9637874,0.0001389556,0.03483123,0.0001580098,0.0001886121,0.000003845994,2.455352e-7,0.00003844416,0.0008532375],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9515346,"threshold_uncertainty_score":0.4984672,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01624994997917921,"score_gpt":0.2863374115613792,"score_spread":0.2700874615822,"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."}}