{"id":"W4376874338","doi":"10.1007/s10107-023-01971-3","title":"A colorful Steinitz Lemma with application to block-structured integer programs","year":2023,"lang":"en","type":"article","venue":"Mathematical Programming","topic":"Optimization and Search Problems","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"Einstein Stiftung Berlin; Canadian Network for Research and Innovation in Machining Technology, Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Combinatorics; Lemma (botany); Norm (philosophy); Integer (computer science); Bounded function; Upper and lower bounds; Integer programming; Discrete mathematics; Sequence (biology); Algorithm; Computer science","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.0005177843,0.000179142,0.000217907,0.0001746813,0.0001575997,0.0004658267,0.0006696426,0.00007184517,0.00001511349],"category_scores_gemma":[0.0001022839,0.0001322676,0.00004987623,0.001912579,0.00007080598,0.0002164868,0.0002975058,0.000171864,0.0007073034],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003997633,"about_ca_system_score_gemma":0.00004797517,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004174788,"about_ca_topic_score_gemma":0.000009819571,"domain_scores_codex":[0.998113,0.00005232952,0.0003074174,0.0004610562,0.0005208598,0.0005452929],"domain_scores_gemma":[0.9988471,0.00009826416,0.00006940906,0.0005469529,0.0001610986,0.0002772128],"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.00002475557,0.0003106363,0.0002063447,0.0002736622,0.00005085195,0.00003395646,0.004900476,0.00215964,0.0003978118,0.2566724,0.0004252999,0.7345442],"study_design_scores_gemma":[0.001017581,0.001188768,0.000134581,0.000263764,0.00002326558,0.00009213397,0.0007008679,0.901535,0.001060808,0.04053661,0.05263474,0.0008118604],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006844231,0.000003907369,0.9864935,0.002323144,0.00003524536,0.001798281,5.722661e-7,0.001300819,0.001200281],"genre_scores_gemma":[0.5148236,7.088032e-7,0.4832447,0.0001960457,0.00003815314,0.001029083,0.00001348252,0.00003046288,0.00062379],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8993754,"threshold_uncertainty_score":0.909119,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02255617299447408,"score_gpt":0.2743292564063316,"score_spread":0.2517730834118575,"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."}}