{"id":"W4387101675","doi":"10.1017/s0963548323000275","title":"The Excluded Tree Minor Theorem Revisited","year":2023,"lang":"en","type":"article","venue":"Combinatorics Probability Computing","topic":"Advanced Graph Theory Research","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University; University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada; Fonds De La Recherche Scientifique - FNRS; Monash University; Australian Government","keywords":"Minor (academic); Combinatorics; Mathematics; Robertson–Seymour theorem; Graph minor; Discrete mathematics; Graph; Upper and lower bounds; Tree (set theory); RADIUS; Pathwidth; Line graph; Computer science; Graph power; Law; Mathematical analysis","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":["sts"],"consensus_categories":[],"category_scores_codex":[0.005766428,0.0002735893,0.000308232,0.0001958621,0.001451137,0.0004605584,0.003452981,0.00009825653,0.000002554914],"category_scores_gemma":[0.00216261,0.0002069781,0.0001795582,0.004538279,0.0003529162,0.000337543,0.002426618,0.0005516963,0.0001882354],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002070494,"about_ca_system_score_gemma":0.0001234367,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003209346,"about_ca_topic_score_gemma":0.000002086377,"domain_scores_codex":[0.9959488,0.0007716104,0.0005633752,0.000874504,0.0008049975,0.001036714],"domain_scores_gemma":[0.9936701,0.003294396,0.0001924603,0.002180076,0.0004587298,0.0002042604],"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.000009652026,0.00006019693,0.002430325,0.00004297485,0.00001642767,0.00001340801,0.0003954825,0.0001551818,0.0001335686,0.9488425,0.0007127402,0.04718756],"study_design_scores_gemma":[0.0003529935,0.0000778931,0.005711538,0.00002878879,0.000003029096,0.00000744624,0.00004405258,0.09975204,0.0004425887,0.8905907,0.002753525,0.0002353939],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5729954,0.00113428,0.3935034,0.00638315,0.003003493,0.002815102,0.000004681942,0.005143099,0.01501743],"genre_scores_gemma":[0.9950553,0.00003410738,0.004144225,0.00007441372,0.00006894991,0.00002765857,0.000004679493,0.00002761481,0.000563044],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.42206,"threshold_uncertainty_score":0.9998488,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03979777161409261,"score_gpt":0.3033330711657489,"score_spread":0.2635352995516563,"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."}}