{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00202824,0.0008488115,0.001084605,0.001016488,0.0003365047,0.0009186473,0.001343057,0.0005449839,0.0002452927],"category_scores_gemma":[0.0001916469,0.0009110256,0.000291189,0.002383289,0.0005125059,0.000443834,0.0008460142,0.001852345,0.00008187886],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001467139,"about_ca_system_score_gemma":0.0004646138,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001609527,"about_ca_topic_score_gemma":0.002275767,"domain_scores_codex":[0.9947837,0.0008488161,0.0009056258,0.001957218,0.0006155145,0.0008891222],"domain_scores_gemma":[0.997464,0.0006428894,0.0003272797,0.001101884,0.0001670157,0.0002969476],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00007928947,0.0003733595,0.0001468707,0.002897033,0.0001896816,0.000248702,0.1053747,0.00003985175,0.0009968425,0.3464021,0.0007908084,0.5424607],"study_design_scores_gemma":[0.0008279609,0.0004035282,0.01062996,0.002683334,0.0001548843,0.0001345857,0.008221967,0.3939474,0.006187576,0.5629401,0.01176683,0.002101897],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1948602,0.06516773,0.665579,0.008872151,0.01748081,0.004348402,0.00004478528,0.0009184846,0.04272842],"genre_scores_gemma":[0.08774855,0.0009923362,0.8832977,0.0005455558,0.0005919846,0.0002718804,0.0002004852,0.0001853665,0.02616611],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5403588,"threshold_uncertainty_score":0.999334,"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."}}