{"id":"W3038043972","doi":"10.4230/lipics.icalp.2020.87","title":"On the Complexity of Zero Gap MIP*","year":2020,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Decidability; Complexity class; Class (philosophy); Connection (principal bundle); Discrete mathematics; Mathematical proof; Computability; PSPACE; Mathematics; Quantum complexity theory; Set (abstract data type); Core (optical fiber); Complement (music); Computer science; Operator (biology); Hierarchy; Computational complexity theory; Quantum; Time complexity; Quantum computer; Algorithm","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.003749977,0.0006612196,0.001215258,0.001419013,0.002163017,0.007300632,0.002443333,0.001896351,0.006809727],"category_scores_gemma":[0.02227942,0.0007147538,0.001857277,0.001416689,0.004504311,0.01230449,0.005029798,0.006890852,0.000466371],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004799363,"about_ca_system_score_gemma":0.002488485,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002605401,"about_ca_topic_score_gemma":0.001281275,"domain_scores_codex":[0.9946415,0.001466665,0.0002516768,0.001142941,0.001508695,0.0009883633],"domain_scores_gemma":[0.9459952,0.04780779,0.001834142,0.002183287,0.001021076,0.001158659],"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.0005969372,0.0002151699,0.004732827,0.0003620939,0.000091974,0.0002408443,0.001299195,0.04001245,0.002890557,0.9187706,0.005799411,0.02498793],"study_design_scores_gemma":[0.00004654571,0.00003588848,0.001015995,0.0000322664,0.0000333731,0.0001160669,0.0002208742,0.1339259,0.001878401,0.8607625,0.001903179,0.00002902239],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7422492,0.001415967,0.2007042,0.01403768,0.0001257116,0.0002210458,0.00176246,0.000916034,0.03856767],"genre_scores_gemma":[0.975368,0.0004149377,0.01826455,0.0005881012,0.0001945592,0.000179242,0.0009461811,0.0001785745,0.003865875],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.007300632,"threshold_uncertainty_score":0.03482199,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09277187158679966,"score_gpt":0.2694113754011682,"score_spread":0.1766395038143685,"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."}}