{"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":"codex-gemma-dda1882f352a","candidate_categories":["open_science"],"consensus_categories":[],"category_scores_codex":[0.0005508434,0.0002162622,0.00021519,0.0003154227,0.0005283168,0.000567287,0.01007442,0.00009234118,0.000004564615],"category_scores_gemma":[0.000226462,0.000184321,0.00007613081,0.001709364,0.0003997931,0.001129245,0.006774821,0.0004521647,0.0001837855],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006848965,"about_ca_system_score_gemma":0.0001963036,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000101311,"about_ca_topic_score_gemma":0.0004154598,"domain_scores_codex":[0.9977728,0.0004421375,0.0005951837,0.0004436134,0.0002347666,0.0005114781],"domain_scores_gemma":[0.9915616,0.003292528,0.0001583186,0.00482193,0.00006487188,0.0001007707],"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.000004602577,0.0003420665,0.007675188,0.000008264333,0.00003153313,0.00001462844,0.005879316,0.0001294493,0.00006036073,0.3689843,0.02202706,0.5948432],"study_design_scores_gemma":[0.0009432796,0.0001837977,0.0993317,0.0001139397,0.000004700298,0.00004619255,0.000117069,0.4658951,0.0004558199,0.2840897,0.1485621,0.0002565315],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4030072,0.004879629,0.4926652,0.07872123,0.003342533,0.001411251,0.00001092061,0.001564297,0.01439776],"genre_scores_gemma":[0.8331858,0.0003351898,0.1639334,0.001967603,0.0002946895,0.00006490454,0.00001481296,0.00002185213,0.0001817835],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5945867,"threshold_uncertainty_score":0.9952815,"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."}}