{"id":"W2177980858","doi":"10.1007/s00037-008-0250-4","title":"Perfect Parallel Repetition Theorem for Quantum Xor Proof Systems","year":2008,"lang":"en","type":"article","venue":"Computational Complexity","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":97,"is_retracted":false,"has_abstract":false,"ca_institutions":"Perimeter Institute; University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Gas meter prover; Mathematics; Discrete mathematics; XOR gate; Function (biology); Repetition (rhetorical device); Class (philosophy); Automated theorem proving; Computer science; Algorithm; Mathematical proof","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.0008865595,0.0003424413,0.0004752034,0.000174214,0.000812617,0.0002042192,0.001157871,0.000105238,0.00002247745],"category_scores_gemma":[0.0002093141,0.0003308021,0.000263306,0.0004842013,0.0004026644,0.0005059256,0.000385578,0.0002203125,0.00006280926],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002218273,"about_ca_system_score_gemma":0.0003054402,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005530076,"about_ca_topic_score_gemma":0.000006459121,"domain_scores_codex":[0.9967318,0.000349907,0.000662099,0.0009895241,0.0007439409,0.000522777],"domain_scores_gemma":[0.9969826,0.001008146,0.0002778538,0.0007474194,0.0007908549,0.0001930846],"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.00004538076,0.0003179591,0.0005944942,0.00009560514,0.00003734901,0.00001721736,0.0003894675,0.1300071,0.0000180685,0.8651519,0.001986024,0.001339444],"study_design_scores_gemma":[0.0005615313,0.0002208571,0.01568701,0.0000169123,0.000005184205,0.0002145811,0.000009552056,0.631435,0.00001577077,0.3505,0.001067081,0.0002665002],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04537351,0.0002192282,0.9495575,0.001074588,0.001043815,0.001346746,0.00005332115,0.0005304359,0.0008008387],"genre_scores_gemma":[0.7646334,0.00000224514,0.2344641,0.0001860646,0.0003105213,0.0001756362,0.0001214025,0.00002071284,0.00008593304],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7192599,"threshold_uncertainty_score":0.9999144,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1007173327167769,"score_gpt":0.293439077805599,"score_spread":0.1927217450888221,"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."}}