{"id":"W4206841129","doi":"10.1561/0400000068","title":"Quantum Proofs","year":2016,"lang":"en","type":"article","venue":"Foundations and Trends® in Theoretical Computer Science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":39,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Quantum complexity theory; Mathematical proof; Complexity class; Quantum algorithm; Proof complexity; Gas meter prover; Quantum computer; Computer science; Theoretical computer science; Class (philosophy); Quantum; Quantum information; Mathematics; Discrete mathematics; Time complexity; Quantum mechanics; Physics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002987538,0.0007901008,0.0008400869,0.002104701,0.002791724,0.006768732,0.002563524,0.002326692,0.04982579],"category_scores_gemma":[0.01501933,0.0007700198,0.001493283,0.002086015,0.005097172,0.01393158,0.004745087,0.004228747,0.009450041],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003483332,"about_ca_system_score_gemma":0.003075694,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001327852,"about_ca_topic_score_gemma":0.001287377,"domain_scores_codex":[0.995331,0.001273495,0.0003186827,0.0009541466,0.001730865,0.0003916953],"domain_scores_gemma":[0.9909025,0.00456537,0.000522189,0.00228896,0.001417215,0.000303722],"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.000006593167,0.000006613155,0.00004677711,0.0001026342,0.000007149264,0.00001881311,0.00006782432,0.0002482408,0.000121889,0.9820388,0.00597892,0.01135575],"study_design_scores_gemma":[0.000009811181,0.00001097427,0.00007388997,0.0001028301,0.000008995049,0.0001154544,0.00005169343,0.001607653,0.0005665781,0.8759636,0.1214753,0.00001309305],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00807818,0.02211735,0.4955539,0.01725312,0.003418055,0.000348888,0.002173568,0.001444222,0.4496126],"genre_scores_gemma":[0.486745,0.03677404,0.2854837,0.008937157,0.006096486,0.0008107129,0.004559699,0.001105325,0.1694879],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.04982579,"threshold_uncertainty_score":0.1666839,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01542661234088145,"score_gpt":0.271435154090282,"score_spread":0.2560085417494005,"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."}}