{"id":"W1546090284","doi":"10.4086/toc.2011.v007a007","title":"","year":2011,"lang":"en","type":"article","venue":"Theory of Computing","topic":"Cryptography and Data Security","field":"Computer Science","cited_by":19,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Army Research Office; Natural Sciences and Engineering Research Council of Canada; Mitacs; Canadian Institute for Advanced Research; W. M. Keck Foundation; National Science Foundation","keywords":"Gas meter prover; Expressive power; Discrete mathematics; Computer science; Mathematics; Logarithm; Quantum; Theoretical computer science; Mathematical proof; 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.001469009,0.0004673231,0.0004589973,0.0003967236,0.001743724,0.002660434,0.002415919,0.001425031,0.01410867],"category_scores_gemma":[0.005885821,0.0002631229,0.0007503458,0.0005573603,0.002896908,0.005306333,0.001987826,0.001672217,0.002433894],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001426202,"about_ca_system_score_gemma":0.00132293,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001334401,"about_ca_topic_score_gemma":0.001277119,"domain_scores_codex":[0.9972799,0.0007182938,0.0001146147,0.0006295846,0.0008424701,0.0004151704],"domain_scores_gemma":[0.9953464,0.002010356,0.0003150613,0.001560505,0.0005221616,0.0002455633],"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.000155847,0.00005173455,0.0004080223,0.00008246794,0.00002115394,0.0001015647,0.000193553,0.008186602,0.002295205,0.9645675,0.001905151,0.02203121],"study_design_scores_gemma":[0.00009122016,0.0002367411,0.000526231,0.00006295106,0.0000625005,0.000609101,0.0002384587,0.1187618,0.01457526,0.7730895,0.09165469,0.00009156303],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.04523376,0.001076867,0.8484801,0.00152671,0.0003301635,0.0001964271,0.0002544822,0.0006639904,0.1022375],"genre_scores_gemma":[0.8106606,0.0008605566,0.159964,0.0005641768,0.0002012559,0.0001797003,0.0003447435,0.0001914794,0.02703352],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.9858913,"threshold_uncertainty_score":0,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03739569460194093,"score_gpt":0.2301184610652776,"score_spread":0.1927227664633367,"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."}}