{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005925613,0.001062673,0.001062556,0.001849063,0.001621384,0.002280453,0.003959012,0.001696196,0.005040301],"category_scores_gemma":[0.01544019,0.0006361094,0.001760161,0.001391445,0.00757627,0.01039166,0.005544827,0.005664115,0.0005997182],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003732041,"about_ca_system_score_gemma":0.002006366,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002572552,"about_ca_topic_score_gemma":0.001745217,"domain_scores_codex":[0.9939359,0.002039267,0.0003279276,0.0008572941,0.002097765,0.0007418353],"domain_scores_gemma":[0.9837199,0.01135299,0.0008818381,0.002231581,0.001263237,0.0005504048],"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.00002825454,0.00001216142,0.0001188973,0.00004787289,0.00001305561,0.00006519847,0.0001912897,0.005415973,0.0008559983,0.9894326,0.0003094237,0.003509264],"study_design_scores_gemma":[0.00002560112,0.00002014609,0.0001164851,0.00002307405,0.00001431086,0.00004444798,0.00003156611,0.07004783,0.00149652,0.9262855,0.001873614,0.00002093629],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08352469,0.001167885,0.8718593,0.001468121,0.0001219829,0.0001470707,0.0002058157,0.0005118254,0.04099338],"genre_scores_gemma":[0.86068,0.0007226748,0.1318758,0.0005949268,0.0001758471,0.0004836306,0.0001733634,0.0001349152,0.005158731],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005925613,"threshold_uncertainty_score":0.03133798,"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."}}