{"id":"W2471885719","doi":"10.1007/s00454-016-9852-9","title":"Smaller Extended Formulations for the Spanning Tree Polytope of Bounded-Genus Graphs","year":2017,"lang":"en","type":"article","venue":"Discrete & Computational Geometry","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"European Research Council","keywords":"Combinatorics; Polytope; Spanning tree; Mathematics; Vertex (graph theory); Genus; Bounded function; Minimum spanning tree; Graph; Minimum degree spanning tree; Discrete mathematics","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":["sts"],"consensus_categories":[],"category_scores_codex":[0.0004123578,0.0001835899,0.0002292692,0.000256144,0.001665266,0.0004600264,0.001847237,0.00005830936,0.00002091781],"category_scores_gemma":[0.0001880057,0.0001461165,0.0003010436,0.0003819283,0.0003052503,0.0006192514,0.000459265,0.0001458793,0.000006463353],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002043229,"about_ca_system_score_gemma":0.00009915623,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006990381,"about_ca_topic_score_gemma":0.00002716029,"domain_scores_codex":[0.9984224,0.00003050894,0.0003757637,0.0003776888,0.0004736849,0.0003199129],"domain_scores_gemma":[0.9975914,0.0007883277,0.0003739597,0.0008849006,0.0002801163,0.00008131225],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001965271,0.00006367518,0.001986337,0.00002231964,0.0001329706,0.000002135254,0.0003273284,0.00840327,0.00002422376,0.8901002,0.0002969381,0.09862097],"study_design_scores_gemma":[0.00050019,0.00007008274,0.2773323,0.00002283752,0.00001997932,0.000008786614,0.00004059671,0.3778302,0.00006002331,0.3423341,0.001609244,0.0001717099],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03025584,0.0003075948,0.9649436,0.00182403,0.0005883162,0.0003577052,0.00006447717,0.00006724293,0.001591167],"genre_scores_gemma":[0.8562914,0.000006916358,0.1432153,0.0001494093,0.00009913668,0.0000354721,0.00003228755,0.00001179456,0.0001582992],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8260356,"threshold_uncertainty_score":0.9996344,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04279141595860556,"score_gpt":0.3123881851643708,"score_spread":0.2695967692057653,"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."}}