{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007830363,0.0001422197,0.0001497265,0.0004196992,0.0003766752,0.0004519805,0.001055834,0.00004235283,0.00009750451],"category_scores_gemma":[0.00009236026,0.0000858893,0.00003987118,0.001463826,0.001918318,0.0009297428,0.0006271418,0.0000906004,0.00007535345],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005552328,"about_ca_system_score_gemma":0.00007233721,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004451516,"about_ca_topic_score_gemma":0.000009711618,"domain_scores_codex":[0.9982953,0.00006847617,0.0002257505,0.0006594841,0.0002989955,0.0004519861],"domain_scores_gemma":[0.9989043,0.0002387254,0.00004839041,0.0005073301,0.000109701,0.0001915845],"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.000001314318,0.00004157567,0.0004358295,0.000001116737,0.000001113494,0.000003962235,0.0001747512,0.000001226368,0.00005636517,0.7194305,0.00003139537,0.2798209],"study_design_scores_gemma":[0.000624267,0.0002484037,0.0331288,0.00005327313,0.000003614285,0.00006056439,0.000005246366,0.200954,0.0003804662,0.7618943,0.00231678,0.0003302607],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0188905,0.00004095347,0.9630735,0.002777833,0.0004868408,0.0000681544,0.000001375929,0.0001193876,0.01454148],"genre_scores_gemma":[0.9711269,0.000009458415,0.0285462,0.0001052712,0.00007447503,0.00001171196,6.409032e-7,0.000004203587,0.0001210981],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9522364,"threshold_uncertainty_score":0.7068123,"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."}}