{"id":"W7133009582","doi":"","title":"Algebraic Methods in Query and Proof Complexity","year":2024,"lang":"","type":"dissertation","venue":"TSpace","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada; University of Toronto","keywords":"Computational complexity theory; Quantum complexity theory; Unitary state; Time complexity; Algebraic number; Upper and lower bounds; Oracle; Real algebraic geometry; Polynomial hierarchy; Quantum computer","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.008964202,0.001618667,0.001578796,0.003304091,0.001890091,0.006819112,0.002808374,0.002148517,0.009364499],"category_scores_gemma":[0.02491509,0.001001682,0.003162978,0.004098979,0.01085659,0.01867833,0.004633655,0.01200065,0.001686103],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005776814,"about_ca_system_score_gemma":0.002734374,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002147377,"about_ca_topic_score_gemma":0.001409327,"domain_scores_codex":[0.9891671,0.004274469,0.0006922777,0.001573445,0.003712377,0.0005802324],"domain_scores_gemma":[0.95851,0.03332413,0.001103381,0.004387194,0.002208952,0.0004664401],"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.000007483532,0.000008087586,0.00006431653,0.00009011867,0.00001125865,0.00001232838,0.00007028053,0.002024845,0.0001252445,0.9897753,0.001254593,0.006556136],"study_design_scores_gemma":[0.00001050236,0.00001059063,0.00006096696,0.00002685563,0.000007031078,0.00002301346,0.0000229623,0.01350792,0.0001646447,0.9791229,0.00703186,0.00001076414],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008282982,0.01396433,0.9203517,0.01228525,0.0008053769,0.000132223,0.0004898403,0.0004768814,0.0432114],"genre_scores_gemma":[0.3708643,0.02125129,0.5756576,0.003732325,0.007589821,0.001070469,0.0009503895,0.0006312483,0.01825263],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009364499,"threshold_uncertainty_score":0.04740775,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07664616918694764,"score_gpt":0.4347598643427404,"score_spread":0.3581136951557928,"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."}}