{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001064562,0.0001063619,0.000100365,0.00007836943,0.00009695522,0.0006024197,0.0002573326,0.00004012576,0.000008495927],"category_scores_gemma":[0.00001272595,0.0000925991,0.00003041948,0.0002841658,0.00004320157,0.002510927,0.0001008692,0.0001153356,0.000008140611],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000134053,"about_ca_system_score_gemma":0.00004404364,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003095478,"about_ca_topic_score_gemma":0.00006193631,"domain_scores_codex":[0.999203,0.0000342396,0.000129856,0.0003180653,0.0001583306,0.0001564627],"domain_scores_gemma":[0.9995113,0.00003199059,0.00004614289,0.0002818216,0.00006475983,0.00006398558],"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.00001473751,0.0001508298,0.0001244699,0.000005771196,0.00001326133,0.000007337896,0.0006808805,0.00002686677,0.001799557,0.9014795,0.0001459661,0.09555076],"study_design_scores_gemma":[0.002672373,0.001082788,0.03692345,0.0001089358,0.00003460483,0.0000429891,0.001302475,0.4211452,0.01241009,0.5166913,0.006317525,0.001268285],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04191119,0.00004488184,0.9423219,0.0004831493,0.00008157887,0.0001654327,0.000003685034,0.0001423733,0.01484581],"genre_scores_gemma":[0.9576908,0.00001211322,0.04149818,0.0007267734,0.00003966814,0.000003078256,0.00001801147,0.000002444962,0.000008878656],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9157797,"threshold_uncertainty_score":0.5809147,"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."}}