{"id":"W2807350215","doi":"10.1145/3313276.3316343","title":"Quantum proof systems for iterated exponential time, and beyond","year":2019,"lang":"en","type":"preprint","venue":"","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Air Force Office of Scientific Research; Institute for Quantum Information and Matter, California Institute of Technology; U.S. Air Force; National Research Foundation; National Science Foundation; Asian Office of Aerospace Research and Development; National Research Foundation Singapore; Gordon and Betty Moore Foundation","keywords":"Multipartite; Nondeterministic algorithm; Mathematics; Iterated function; Discrete mathematics; Tensor product; Constant (computer programming); Quantum; Combinatorics; Pure mathematics; Computer science; Quantum entanglement; 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.002377896,0.0006696334,0.000594013,0.0007529118,0.001581411,0.002735102,0.001784369,0.001351424,0.01054819],"category_scores_gemma":[0.01348468,0.0003981624,0.001019398,0.0006725172,0.004463943,0.009734647,0.004207667,0.004575857,0.0009895454],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002847324,"about_ca_system_score_gemma":0.001462578,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001210183,"about_ca_topic_score_gemma":0.0008581721,"domain_scores_codex":[0.9977512,0.0006732498,0.00009125158,0.0004469152,0.0007561606,0.0002812715],"domain_scores_gemma":[0.990803,0.006477835,0.0004971682,0.001421294,0.0005502219,0.0002505611],"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.00002544724,0.00001440549,0.00005109259,0.00005555237,0.000008439129,0.00003410518,0.0001767204,0.004132442,0.0008018885,0.98904,0.0006958483,0.004964092],"study_design_scores_gemma":[0.00002715592,0.00001768443,0.00005352978,0.00002665397,0.00001071742,0.00004843084,0.00002186343,0.03462557,0.001284183,0.9561383,0.007733013,0.00001290314],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06389064,0.003736239,0.8500324,0.004901654,0.000324244,0.0001666463,0.0001899443,0.001042534,0.07571564],"genre_scores_gemma":[0.8338772,0.001549938,0.1451728,0.0008195531,0.0005513123,0.0003267916,0.0001310037,0.0002814356,0.01729001],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01054819,"threshold_uncertainty_score":0.03528726,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02159461953376887,"score_gpt":0.2513732164445883,"score_spread":0.2297785969108194,"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."}}