{"id":"W2622976902","doi":"10.1017/prm.2018.50","title":"A proof of Boca's Theorem","year":2018,"lang":"en","type":"article","venue":"Proceedings of the Royal Society of Edinburgh Section A Mathematics","topic":"Advanced Operator Algebra Research","field":"Mathematics","cited_by":35,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Unital; Dilation (metric space); Mathematics; Discrete mathematics; Pure mathematics; Combinatorics; Algebra over a field","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.001259985,0.000614955,0.0008366283,0.001042133,0.001644133,0.001414369,0.0009366585,0.0008628417,0.01537332],"category_scores_gemma":[0.002582817,0.0004066289,0.0009675126,0.0007092093,0.002535024,0.002801676,0.004300709,0.00258293,0.001744664],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001235185,"about_ca_system_score_gemma":0.0006734045,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001229917,"about_ca_topic_score_gemma":0.0006862833,"domain_scores_codex":[0.9990901,0.0001359137,0.00003693845,0.0002063057,0.000367385,0.0001633889],"domain_scores_gemma":[0.9990792,0.0003063646,0.00003388001,0.0001158097,0.0003421303,0.0001226373],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002476813,0.00001694571,0.0001163684,0.0001005663,0.00001212337,0.0001461429,0.0002025914,0.0002413871,0.003191115,0.9814991,0.005506671,0.008942161],"study_design_scores_gemma":[0.00005012539,0.00007254141,0.000716906,0.00006019293,0.00003261575,0.0005886934,0.0001325559,0.004208822,0.006651985,0.8861656,0.1012836,0.00003627082],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.0944772,0.005035738,0.4297526,0.0119632,0.00480924,0.0002126658,0.000854773,0.002430565,0.4504641],"genre_scores_gemma":[0.7861699,0.002548142,0.1304313,0.004290749,0.001572974,0.0003486008,0.0003926609,0.000666392,0.07357925],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01537332,"threshold_uncertainty_score":0.05142885,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02831497291558611,"score_gpt":0.3078349653959815,"score_spread":0.2795199924803954,"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."}}