{"id":"W2781905375","doi":"10.1145/3177795.3177798","title":"The polyhedra library in m <scp>aple</scp>","year":2018,"lang":"en","type":"article","venue":"ACM communications in computer algebra","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Polyhedron; Integer (computer science); Integer programming; Combinatorics; Computer science; Presburger arithmetic; Loop (graph theory); Parametric statistics; Integer points in convex polyhedra; Discrete mathematics; Mathematics; Theoretical computer science; Algorithm; Branch and price; Programming language; Statistics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[{"model":"gemma","categories":[],"domain":null,"study_design":"not_applicable","genre":"methods","about_ca_system":false,"about_ca_topic":false,"confidence":"high","status":"direct model label, unvalidated"},{"model":"gpt","categories":[],"domain":null,"study_design":"not_applicable","genre":"software","about_ca_system":false,"about_ca_topic":false,"confidence":"high","status":"direct model label, unvalidated"}],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001551667,0.003015523,0.002880313,0.004061376,0.001987835,0.006376083,0.007272284,0.002530155,0.336313],"category_scores_gemma":[0.005202589,0.002581594,0.00423835,0.006134265,0.001404506,0.007731342,0.005785812,0.00552098,0.2623197],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002389741,"about_ca_system_score_gemma":0.002375405,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004684736,"about_ca_topic_score_gemma":0.008554375,"domain_scores_codex":[0.9970952,0.0003400852,0.0002493854,0.0005070412,0.00149089,0.0003173982],"domain_scores_gemma":[0.9973551,0.0006137246,0.0001263199,0.001014353,0.0007177293,0.0001728486],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0002114948,0.0001045543,0.0003078259,0.001082476,0.00007963054,0.0001586254,0.0001271729,0.004411724,0.003245952,0.07606041,0.755953,0.1582572],"study_design_scores_gemma":[0.0001306031,0.00003195986,0.0002146962,0.0001954376,0.00002514707,0.0001737153,0.00003378954,0.01498934,0.007303625,0.05644928,0.9203787,0.00007366547],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.001120094,0.001153505,0.5303933,0.000827979,0.0009444831,0.0002158658,0.04053056,0.2728713,0.151943],"genre_scores_gemma":[0.0255952,0.003126663,0.495806,0.002152288,0.0007955965,0.001207769,0.1483536,0.1825531,0.1404096],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.336313,"threshold_uncertainty_score":0.946669,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02492440184752486,"score_gpt":0.2731947217517453,"score_spread":0.2482703199042204,"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."}}