{"id":"W3016887704","doi":"10.1145/3357713.3384248","title":"Automating cutting planes is NP-hard","year":2020,"lang":"en","type":"preprint","venue":"","topic":"Computational Geometry and Mesh Generation","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto; Simon Fraser University","funders":"","keywords":"Mathematical proof; Set (abstract data type); Combinatorics; Tree (set theory); Mathematics; Resolution (logic); Time complexity; Polynomial; Discrete mathematics; Computer science; Geometry; Mathematical analysis","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.0002116859,0.0001963252,0.0002088934,0.0001175657,0.0001314559,0.0004802968,0.0007882375,0.0001200748,0.00009917266],"category_scores_gemma":[0.00007142392,0.0001950218,0.0001011838,0.0002630258,0.000009282768,0.0001906728,0.001493861,0.0003186959,0.0002124841],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003151442,"about_ca_system_score_gemma":0.0001718034,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002333407,"about_ca_topic_score_gemma":0.000001118087,"domain_scores_codex":[0.9984357,0.00005389136,0.0003228598,0.0006390906,0.0003660847,0.0001823769],"domain_scores_gemma":[0.9991261,0.0001176636,0.000181189,0.000379875,0.00009929014,0.00009586223],"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.000008341662,0.0001235144,0.001597686,0.0009977354,0.0002992004,0.00009843557,0.008783192,0.1106768,0.003864578,0.2018003,0.1534378,0.5183124],"study_design_scores_gemma":[0.00009127858,0.00001964658,0.001424715,0.00005003246,0.000008039337,0.00001784059,0.00001055079,0.9699759,0.003203688,0.01827748,0.006618716,0.0003020866],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00969649,0.0001324077,0.971528,0.008805849,0.0011187,0.000176333,0.000008805546,0.0007376759,0.00779572],"genre_scores_gemma":[0.3126584,0.00001365761,0.6795989,0.005534493,0.0008313788,0.0000259549,0.0001109166,0.00001503931,0.00121127],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8592991,"threshold_uncertainty_score":0.7952759,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05308497035144756,"score_gpt":0.2804308549479437,"score_spread":0.2273458845964961,"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."}}