{"id":"W6993006989","doi":"","title":"NEXPTIME-Completeness of Provability in Continuous Quantitative Equational Logic","year":2023,"lang":"en","type":"dissertation","venue":"eScholarship@McGill (McGill)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Algebra over a field; Equational logic; Calculus (dental); Sequence (biology); Term (time)","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.00236749,0.0007609544,0.001315725,0.0007441098,0.000478371,0.0001286805,0.002172697,0.000709922,0.0000780097],"category_scores_gemma":[0.003179603,0.0007508358,0.0004462811,0.001874026,0.0001379641,0.001027716,0.0004023414,0.001205498,0.0005022675],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005692342,"about_ca_system_score_gemma":0.0002585989,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006851545,"about_ca_topic_score_gemma":0.00321929,"domain_scores_codex":[0.9940816,0.0008000464,0.00151201,0.001673651,0.001083807,0.000848925],"domain_scores_gemma":[0.9950289,0.001346114,0.001108322,0.001126715,0.001167336,0.0002226217],"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.0001371317,0.0004826514,0.0003253609,0.0004707587,0.0001106434,0.00006777734,0.0001440609,0.0001635504,0.006013824,0.9522374,0.000004302612,0.03984249],"study_design_scores_gemma":[0.002810626,0.001062297,0.06140079,0.001204437,0.0001314764,0.00002055478,0.00122199,0.005667816,0.02477411,0.8964149,0.002640756,0.002650264],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9334185,0.0003845075,0.00009682802,0.00003010489,0.002564543,0.001533651,0.0004426345,0.000562366,0.06096682],"genre_scores_gemma":[0.987893,0.00004166532,0.007131841,0.00006739221,0.00003224044,0.0002858583,0.0006204573,0.00009739975,0.00383008],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.06107543,"threshold_uncertainty_score":0.9994943,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0437105543704389,"score_gpt":0.28589765922517,"score_spread":0.2421871048547311,"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."}}