{"id":"W2141274581","doi":"10.1017/s0960129512000163","title":"A formalism-local framework for general probabilistic theories, including quantum theory","year":2013,"lang":"en","type":"preprint","venue":"Mathematical Structures in Computer Science","topic":"Quantum Mechanics and Applications","field":"Physics and Astronomy","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"Perimeter Institute","funders":"Institut Périmètre de physique théorique; Natural Sciences and Engineering Research Council of Canada; Government of Canada","keywords":"Probabilistic logic; Spacetime; Formalism (music); Locality; Computer science; Fragment (logic); Theoretical computer science; Algorithm; Mathematics; Topology (electrical circuits); Physics; Quantum mechanics; Artificial intelligence; Combinatorics","routes":{"ca_aff":true,"ca_fund":true,"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.003836934,0.001133416,0.001308635,0.001790539,0.003051527,0.004263173,0.002363671,0.002406984,0.006759662],"category_scores_gemma":[0.003333563,0.000617131,0.002193468,0.001663254,0.01004129,0.01083445,0.003935104,0.006015351,0.00134973],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003395849,"about_ca_system_score_gemma":0.001751023,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002261745,"about_ca_topic_score_gemma":0.00184684,"domain_scores_codex":[0.9982688,0.0007977764,0.00008949233,0.0002669522,0.0004036631,0.0001732115],"domain_scores_gemma":[0.9982148,0.0007737963,0.0001720126,0.0004685515,0.0001943707,0.0001764413],"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":[6.942097e-7,0.000001912119,0.00001007475,0.000007773975,0.000001247597,0.00001344859,0.00005201409,0.0003177644,0.00004068081,0.9991047,0.0001052327,0.0003443759],"study_design_scores_gemma":[0.000002412085,0.000005193509,0.00001596927,0.000009830223,0.000002036026,0.00002340868,0.00002596195,0.002692139,0.00003590524,0.9928611,0.004321703,0.000004338607],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00773628,0.002364896,0.9238851,0.004432859,0.0003241838,0.00007654353,0.0001994981,0.0002783985,0.06070231],"genre_scores_gemma":[0.5206972,0.00349586,0.4424778,0.003175823,0.002095787,0.0008378646,0.00038399,0.0004590657,0.0263766],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006759662,"threshold_uncertainty_score":0.02463877,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02656293863260744,"score_gpt":0.3112078654493309,"score_spread":0.2846449268167235,"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."}}