{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001351904,0.000237643,0.0005767322,0.00006318233,0.0001692232,0.00001937844,0.0006778074,0.000198958,0.0003269199],"category_scores_gemma":[0.001360963,0.0001657626,0.0004866304,0.0006754071,0.0009180928,0.0001574046,0.0003612054,0.000317471,6.833621e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008666106,"about_ca_system_score_gemma":0.00007651519,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008984846,"about_ca_topic_score_gemma":0.000001231067,"domain_scores_codex":[0.9975676,0.000009398441,0.0008640931,0.0002513328,0.0009796881,0.0003279053],"domain_scores_gemma":[0.9964919,0.0003085421,0.001050705,0.0003030979,0.001771705,0.00007403835],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0004428583,0.005282126,0.005583652,0.01577711,0.00187008,2.393938e-7,0.09166203,0.00008456271,0.3740722,0.2279002,0.2746963,0.002628661],"study_design_scores_gemma":[0.0005824987,0.0004120543,0.00005405503,0.0006672898,0.0001155081,0.000006801803,0.00552615,0.01391808,0.6727681,0.3054253,0.0003221433,0.0002020864],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9728252,0.00004957938,0.01035964,0.0003055722,0.0003194187,0.001082906,0.00001344838,0.00007818003,0.01496602],"genre_scores_gemma":[0.9143935,0.000009443333,0.08222995,0.00002214719,0.0003571485,0.00003519203,2.995452e-7,0.00004911902,0.002903132],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2986958,"threshold_uncertainty_score":0.6759601,"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."}}