{"id":"W2107642065","doi":"10.1109/ccc.2008.12","title":"Generalized Tsirelson Inequalities, Commuting-Operator Provers, and Multi-prover Interactive Proof Systems","year":2008,"lang":"en","type":"article","venue":"","topic":"Cryptography and Data Security","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Gas meter prover; Soundness; Mathematical proof; Mathematics; Operator (biology); Quantum entanglement; Discrete mathematics; Algorithm; Theoretical computer science; Computer science; Quantum; Programming language","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.0002468421,0.0002000912,0.0002578846,0.0001024912,0.0002823315,0.000228035,0.0004931173,0.00007701342,0.00001154067],"category_scores_gemma":[0.00005448635,0.0001621608,0.00005598898,0.0002630886,0.0001073199,0.00116196,0.0004506304,0.0001917629,0.000008767764],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003731238,"about_ca_system_score_gemma":0.00007215238,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001264087,"about_ca_topic_score_gemma":0.00009669431,"domain_scores_codex":[0.9985493,0.0001784405,0.0003027965,0.0004501265,0.0002286931,0.0002906063],"domain_scores_gemma":[0.9989663,0.0001066248,0.0001076053,0.000578332,0.0001082309,0.0001329215],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001150467,0.0007491032,0.01458209,0.0002389889,0.0001763567,0.0001042063,0.01882847,0.00002222108,0.002004466,0.941556,0.01613819,0.005484794],"study_design_scores_gemma":[0.01056666,0.000996863,0.01091148,0.0003118217,0.00004818889,0.0008471922,0.003245803,0.8387997,0.01872062,0.002116045,0.1107408,0.002694864],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.46494,0.001220666,0.5290698,0.0003203868,0.0008872677,0.001118569,0.00008669114,0.0004610962,0.001895541],"genre_scores_gemma":[0.9388137,0.00007068776,0.06023454,0.0005044179,0.00007379567,0.00005897521,0.00002332752,0.00001185893,0.0002086437],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.93944,"threshold_uncertainty_score":0.6612726,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03707795609743849,"score_gpt":0.2578911781674973,"score_spread":0.2208132220700588,"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."}}