{"id":"W2195657359","doi":"10.1109/ccc.2009.22","title":"Oracularization and Two-Prover One-Round Interactive Proofs against Nonlocal Strategies","year":2009,"lang":"en","type":"article","venue":"","topic":"Cryptography and Data Security","field":"Computer Science","cited_by":73,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Gas meter prover; Soundness; Mathematical proof; Completeness (order theory); PSPACE; Quantum entanglement; Mathematics; Discrete mathematics; Theoretical computer science; Computer science; Algorithm; Computational complexity theory; 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.006410633,0.001265215,0.001269492,0.001028892,0.00207624,0.003557965,0.00391187,0.001735329,0.006885072],"category_scores_gemma":[0.02022446,0.0008863355,0.00181236,0.0008505504,0.008260086,0.01154389,0.008453945,0.00714238,0.001276304],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002665544,"about_ca_system_score_gemma":0.002358136,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001045969,"about_ca_topic_score_gemma":0.0006541206,"domain_scores_codex":[0.9890485,0.003848219,0.0003767547,0.002301174,0.002791735,0.001633682],"domain_scores_gemma":[0.9657865,0.02205407,0.002405612,0.006629016,0.00218597,0.0009387367],"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.0002607126,0.00006464165,0.0002812343,0.0002953377,0.00006997039,0.0001443313,0.0008105882,0.01883322,0.003993012,0.958377,0.001235145,0.01563474],"study_design_scores_gemma":[0.0001443757,0.0001358723,0.0002196387,0.00006992892,0.00008413635,0.0001970459,0.0001197475,0.1149908,0.01372795,0.8623377,0.007892599,0.00008017368],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0734026,0.001105769,0.8825884,0.003415531,0.0001319399,0.0002568862,0.000201718,0.001554562,0.03734252],"genre_scores_gemma":[0.8889442,0.0007382791,0.09823803,0.0009090945,0.0002228913,0.0003800143,0.0002079784,0.0002919264,0.01006769],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006885072,"threshold_uncertainty_score":0.03390306,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01043418605242764,"score_gpt":0.2580335392984838,"score_spread":0.2475993532460561,"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."}}