{"id":"W2894550935","doi":"10.1287/ijoc.2017.0797","title":"Structure Detection in Mixed-Integer Programs","year":2018,"lang":"en","type":"article","venue":"INFORMS journal on computing","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Mathematical optimization; Integer programming; Block matrix; Block (permutation group theory); Data structure; Granularity; Hypergraph; Computer science; Algorithm; Mathematics; Theoretical computer science; 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":[],"consensus_categories":[],"category_scores_codex":[0.0003200265,0.0001099064,0.0001052504,0.0002857785,0.0002366785,0.0004097714,0.0002746276,0.00006720944,0.00002581634],"category_scores_gemma":[0.00005533742,0.0000864519,0.0000486864,0.0004815373,0.00003788111,0.0006573809,0.00006679004,0.0004067144,0.00003397841],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001181916,"about_ca_system_score_gemma":0.00005725761,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005880728,"about_ca_topic_score_gemma":0.00007961103,"domain_scores_codex":[0.9989902,0.00002886002,0.0003513347,0.0001403808,0.0002468387,0.0002423528],"domain_scores_gemma":[0.9993745,0.00003408323,0.0002039768,0.000143185,0.0001595076,0.00008472759],"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.000007720863,0.00001091108,0.002147735,0.000002038629,0.000005202364,0.000007756474,0.0005466072,0.004307522,0.000104671,0.001631286,0.00002072635,0.9912078],"study_design_scores_gemma":[0.0007631542,0.0004602401,0.03402508,0.0001428048,0.000002065034,0.0008996089,0.0001270263,0.9547524,0.003142628,0.002108811,0.003319706,0.0002564559],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2400689,0.000003386838,0.7568563,0.0001580735,0.001435437,0.00007296936,1.228386e-7,0.00008301719,0.001321698],"genre_scores_gemma":[0.9820973,0.000001751611,0.01722494,0.0003417259,0.0003132664,3.419988e-7,5.474319e-7,0.000004985131,0.00001510157],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9909514,"threshold_uncertainty_score":0.3951435,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01109849120757559,"score_gpt":0.2458892900069362,"score_spread":0.2347907987993606,"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."}}