{"id":"W4233027224","doi":"10.1145/3231592","title":"Erratum","year":2018,"lang":"en","type":"erratum","venue":"Journal of the ACM","topic":"Advanced Mathematical Identities","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Correctness; Linearizability; Computer science; Simple (philosophy); Object (grammar); Algorithm; Theoretical computer science; Discrete mathematics; Mathematics; Artificial intelligence; Philosophy","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003797225,0.001478957,0.001167034,0.002696101,0.004321191,0.004599011,0.002209518,0.004388739,0.1698347],"category_scores_gemma":[0.07248383,0.0007832223,0.001323285,0.001961427,0.002064706,0.004329366,0.002980041,0.007862017,0.1045278],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00399812,"about_ca_system_score_gemma":0.004591438,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005711738,"about_ca_topic_score_gemma":0.00684068,"domain_scores_codex":[0.9932769,0.0009224545,0.001047363,0.0009151083,0.003428895,0.0004093607],"domain_scores_gemma":[0.9648827,0.007937725,0.001618925,0.003457785,0.02095974,0.001143167],"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.00004301719,0.000008799612,0.00006894526,0.0001140371,0.000007125504,0.00009982452,0.00004141806,0.00006062897,0.00008028319,0.004380932,0.9837264,0.01136865],"study_design_scores_gemma":[0.00001381019,0.00001379658,0.0001289198,0.0001700494,0.0000109608,0.0001437809,0.00005488112,0.00008722085,0.0002743912,0.002978445,0.996105,0.00001885612],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"editorial","genre_gemma":"other","genre_scores_codex":[0.0005021738,0.001946089,0.006730876,0.07823841,0.8755384,0.0001077146,0.00388547,0.001525117,0.03152572],"genre_scores_gemma":[0.019248,0.009676376,0.01696598,0.1542845,0.1498004,0.0005376998,0.01161008,0.005234515,0.6326424],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.1698347,"threshold_uncertainty_score":0,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06442944623475393,"score_gpt":0.3516095221746244,"score_spread":0.2871800759398704,"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."}}