{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00430755,0.0009278578,0.001280684,0.001588052,0.002601872,0.004304243,0.004532246,0.003368858,0.0223012],"category_scores_gemma":[0.01865353,0.0007471844,0.002896397,0.001191389,0.006474919,0.009860814,0.009978514,0.007387085,0.007859625],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001583012,"about_ca_system_score_gemma":0.002761172,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005223142,"about_ca_topic_score_gemma":0.000567181,"domain_scores_codex":[0.9947278,0.001259763,0.0002374448,0.0008499236,0.002255101,0.0006701045],"domain_scores_gemma":[0.9888425,0.004299856,0.000464067,0.004642432,0.001199861,0.0005512885],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00003059432,0.00004169216,0.0001041914,0.0001073349,0.0000178677,0.0000778359,0.00009254885,0.002420619,0.001990513,0.9825522,0.004126952,0.008437544],"study_design_scores_gemma":[0.00002571423,0.00006363812,0.00005952937,0.00004841924,0.00003019372,0.0001715142,0.00003905055,0.02769208,0.00513884,0.9335904,0.03310964,0.00003103374],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.004281405,0.0002849257,0.9592662,0.005179086,0.000759659,0.000143208,0.0002085601,0.0007855489,0.02909125],"genre_scores_gemma":[0.3199825,0.001036091,0.6454457,0.004681141,0.001499993,0.0008837416,0.0009232924,0.001056811,0.0244907],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.9776988,"threshold_uncertainty_score":0,"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."}}