{"id":"W1484565144","doi":"10.1145/2897518.2897634","title":"Classical verification of quantum proofs","year":2016,"lang":"en","type":"article","venue":"","topic":"Quantum Mechanics and Applications","field":"Physics and Astronomy","cited_by":40,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematical proof; PSPACE; Computer science; Quantum complexity theory; Quantum; Hamiltonian (control theory); Mathematics; Quantum computer; Discrete mathematics; Calculus (dental); Computational complexity theory; Theoretical computer science; Algorithm; Quantum mechanics; Mathematical optimization; Physics","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":[],"consensus_categories":[],"category_scores_codex":[0.00004543035,0.0000415675,0.00006042336,0.00001399452,0.00002282752,0.000004038186,0.00007362149,0.00001283114,0.0006824201],"category_scores_gemma":[0.000001837714,0.00002474339,0.00003621928,0.00005531469,0.00001974576,0.00003781091,0.00001312772,0.00001817983,0.0001172871],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000003939801,"about_ca_system_score_gemma":0.00001949146,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009856951,"about_ca_topic_score_gemma":2.344469e-7,"domain_scores_codex":[0.9996464,0.000006780371,0.0001169919,0.00009791463,0.00005796128,0.00007390243],"domain_scores_gemma":[0.9996881,0.0000238973,0.00004829547,0.0001735895,0.00003691633,0.00002920853],"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.000001545846,0.00005681019,0.0005159669,9.18603e-7,0.000004969051,7.068794e-9,0.00000568857,5.363714e-8,0.04766519,0.9304948,0.000908071,0.02034596],"study_design_scores_gemma":[0.0003263442,0.0000405371,0.0019296,0.00001429837,0.000009846753,1.06566e-7,0.00005218433,0.002501945,0.1297079,0.8237734,0.04153338,0.0001104073],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1499755,0.000003663343,0.8354875,0.001926884,0.00004371602,0.000130931,0.00002285034,0.00002296687,0.01238596],"genre_scores_gemma":[0.9988914,8.612791e-7,0.000271772,0.000008031363,0.00005757337,0.00003324639,0.000004149717,0.000004866957,0.0007281391],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8489158,"threshold_uncertainty_score":0.7472022,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01538935349672823,"score_gpt":0.2526383903401827,"score_spread":0.2372490368434544,"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."}}