{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001035277,0.0003790985,0.0004942339,0.0001330058,0.0003617872,0.0005117883,0.001544915,0.0001426283,0.000199359],"category_scores_gemma":[0.00008393377,0.0002937761,0.0001670956,0.0003062871,0.0006379959,0.0001362876,0.001900746,0.0006368674,0.0000116946],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001045871,"about_ca_system_score_gemma":0.0002460194,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002172633,"about_ca_topic_score_gemma":5.462924e-7,"domain_scores_codex":[0.9974484,0.00005896716,0.0005942353,0.0008270908,0.0004230249,0.0006482876],"domain_scores_gemma":[0.9978873,0.0006622477,0.0002488698,0.0008731144,0.0001572419,0.0001712225],"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.00000470701,0.000060283,0.00001563621,0.0001222377,0.00001179381,3.413336e-7,0.0004928949,0.001819963,0.00001358381,0.9764374,0.00003197458,0.02098912],"study_design_scores_gemma":[0.00007193982,0.00001307072,0.00003957886,0.0001020941,0.000010035,0.000001277847,0.00002791934,0.4479325,0.00008442342,0.5514978,0.00002102915,0.0001983039],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08411158,0.0000251406,0.9135683,0.0001530137,0.0006438159,0.001230453,0.00006434605,0.00004861588,0.0001546926],"genre_scores_gemma":[0.7515981,5.05245e-7,0.2472226,0.00009607022,0.0005020111,0.0005348323,0.00001872483,0.00002277519,0.000004414987],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6674865,"threshold_uncertainty_score":0.9999514,"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."}}