{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001761423,0.0004650877,0.0007569974,0.000188018,0.000644605,0.0006458762,0.002671708,0.0002070014,0.00001696326],"category_scores_gemma":[0.0002173543,0.0003252461,0.0003753539,0.0004720447,0.0002148001,0.001043967,0.001491656,0.0003752568,0.0001248696],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001615992,"about_ca_system_score_gemma":0.0001421968,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006059759,"about_ca_topic_score_gemma":0.00001545785,"domain_scores_codex":[0.9965897,0.00007407188,0.001349957,0.0004376944,0.0005868601,0.0009617485],"domain_scores_gemma":[0.9965335,0.0006929886,0.0005837816,0.001343496,0.000622916,0.0002233743],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001128323,0.00241931,0.01935924,0.004675205,0.0008172314,0.000005363471,0.1071595,0.01413264,0.001352478,0.6550393,0.01639881,0.1775126],"study_design_scores_gemma":[0.003247741,0.0009823688,0.003362127,0.0004163907,0.00003309985,0.00002724197,0.001682079,0.962709,0.004134433,0.002500367,0.02024553,0.0006596287],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3871454,0.00002343031,0.606727,0.0002061653,0.00137682,0.001931046,0.0001010749,0.0001090262,0.002380027],"genre_scores_gemma":[0.8899621,0.000003129971,0.1086941,0.0008602663,0.000149813,0.00007387566,0.00007592918,0.00003632246,0.0001445025],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9485763,"threshold_uncertainty_score":0.99992,"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."}}