{"id":"W2966029787","doi":"10.4230/lipics.ccc.2019.25","title":"Complexity Lower Bounds for Computing the Approximately-Commuting Operator Value of Non-Local Games to High Precision","year":2019,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Mathematical proof; Gas meter prover; Operator (biology); Upper and lower bounds; Soundness; Mathematics; Completeness (order theory); Discrete mathematics; Value (mathematics); Class (philosophy); Complexity class; Combinatorics; Time complexity; Computer science","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.005420788,0.001550717,0.002251944,0.00136493,0.001342665,0.005356402,0.004293362,0.001739139,0.007316455],"category_scores_gemma":[0.03429943,0.0007631945,0.002927425,0.001268617,0.00515421,0.01299172,0.006186334,0.007492837,0.001030783],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005849373,"about_ca_system_score_gemma":0.003866761,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002791386,"about_ca_topic_score_gemma":0.002939418,"domain_scores_codex":[0.9927847,0.001837898,0.0003314597,0.001630486,0.002157645,0.001257761],"domain_scores_gemma":[0.9545707,0.03581267,0.001840131,0.005541241,0.001282354,0.0009529083],"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.0007982499,0.0002587384,0.00360097,0.0005650191,0.0001932867,0.0002852465,0.0009576668,0.335055,0.007187182,0.6078714,0.003338769,0.0398885],"study_design_scores_gemma":[0.00004260523,0.0000600889,0.000296296,0.00003489263,0.00003539226,0.00005116622,0.00005845707,0.5984746,0.003042748,0.3971398,0.0007371826,0.00002674798],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.188744,0.0007675053,0.7880894,0.002670984,0.0001030596,0.0002555229,0.0004142581,0.001520258,0.01743501],"genre_scores_gemma":[0.8710938,0.0004442677,0.1214949,0.0005322865,0.0001745166,0.0003895636,0.0005715932,0.000398182,0.004900872],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007316455,"threshold_uncertainty_score":0.04244041,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01528414415063364,"score_gpt":0.2675084582222198,"score_spread":0.2522243140715862,"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."}}