{"id":"W1969389934","doi":"10.1016/j.tcs.2014.11.030","title":"Interactive proofs with quantum finite automata","year":2014,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":false,"ca_institutions":"Trent University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematical proof; Quantum; Automaton; Bounded function; Probabilistic logic; Computer science; Theoretical computer science; Mathematics; Discrete mathematics; Algebra over a field; Pure mathematics; Artificial intelligence; Quantum mechanics","routes":{"ca_aff":true,"ca_fund":true,"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.004957489,0.001104517,0.00161539,0.002204555,0.003459601,0.005838826,0.003251414,0.002952456,0.01508365],"category_scores_gemma":[0.02985981,0.001537438,0.002418628,0.00209373,0.006594856,0.01600692,0.007090656,0.00655376,0.001653287],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003458108,"about_ca_system_score_gemma":0.001820011,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001322007,"about_ca_topic_score_gemma":0.001332882,"domain_scores_codex":[0.9921411,0.00376729,0.000358509,0.0009060772,0.002060311,0.000766693],"domain_scores_gemma":[0.9604683,0.03224457,0.0008937461,0.004006413,0.001440515,0.0009464909],"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.00005901855,0.0000329685,0.0001161689,0.00005434338,0.00001612956,0.00005427952,0.0002170733,0.003277571,0.0004329268,0.9909714,0.0008349694,0.003933122],"study_design_scores_gemma":[0.00002174222,0.000006275999,0.00002904365,0.00001083792,0.000009342761,0.00002003117,0.00001608196,0.01488188,0.0005000993,0.9832758,0.001217,0.00001177933],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06369586,0.001223936,0.8760989,0.004094291,0.0003839693,0.0001395828,0.0002962159,0.001618667,0.05244865],"genre_scores_gemma":[0.8668363,0.0006667159,0.1184884,0.0006339674,0.0004398472,0.0002490851,0.0002331409,0.0004515898,0.01200092],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01508365,"threshold_uncertainty_score":0.0504598,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.004748248664977531,"score_gpt":0.2247709184897111,"score_spread":0.2200226698247336,"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."}}