{"id":"W2201916012","doi":"10.4086/toc.2018.v014a011","title":"","year":2018,"lang":"en","type":"article","venue":"Theory of Computing","topic":"Cryptography and Data Security","field":"Computer Science","cited_by":59,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Air Force Office of Scientific Research; University of Ottawa","keywords":"Computer science; Quantum computer; Gas meter prover; Soundness; Theoretical computer science; Encryption; Quantum entanglement; Computation; Qubit; Quantum algorithm; Algorithm; Quantum; Discrete mathematics; Mathematics; Quantum mechanics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002863002,0.0001709273,0.0002787914,0.0002038053,0.0003870803,0.000091591,0.002234714,0.00005183803,0.000006111606],"category_scores_gemma":[0.0001477031,0.0001627168,0.0001327778,0.0009446339,0.0005979726,0.0007130589,0.00114191,0.0001401352,0.000005643034],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00000780298,"about_ca_system_score_gemma":0.00003690498,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001601058,"about_ca_topic_score_gemma":0.000004398711,"domain_scores_codex":[0.9979597,0.0003733689,0.0004556506,0.0004575292,0.000313871,0.0004398271],"domain_scores_gemma":[0.9974715,0.0007503068,0.000272863,0.001153331,0.0002360734,0.0001159025],"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.00003291906,0.00007143673,0.001414825,0.0000137851,0.00001991933,0.000002589828,0.009180604,0.00001634139,0.002652853,0.9085931,0.00001714154,0.07798452],"study_design_scores_gemma":[0.0005937858,0.0004353529,0.03256729,0.00008126636,0.000008139657,0.00003202088,0.0003844054,0.03268073,0.04549223,0.8873002,0.0001411916,0.0002834097],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4739221,0.00004372312,0.5249979,0.00006430335,0.0002038017,0.00005577295,0.000001199443,0.0001716234,0.0005396024],"genre_scores_gemma":[0.8263651,0.000001371781,0.1731504,0.0002865744,0.0001896266,4.582639e-7,0.000001043677,0.000004932207,4.204392e-7],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.3524431,"threshold_uncertainty_score":0.6635398,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01533380202698224,"score_gpt":0.2533487615405014,"score_spread":0.2380149595135192,"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."}}