{"id":"W7008803536","doi":"","title":"Contextual modal refinement types","year":2024,"lang":"en","type":"dissertation","venue":"eScholarship@McGill (McGill)","topic":"Syntax, Semantics, Linguistic Variation","field":"Arts and Humanities","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"sort; Mathematical proof; Modal; Syntax; Type theory; Extension (predicate logic); Object (grammar); Type (biology)","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","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0006616821,0.0008328324,0.0007839519,0.0004959112,0.001225684,0.0005139872,0.0005637422,0.0005206369,0.004712003],"category_scores_gemma":[0.001095644,0.0008357788,0.0004090325,0.0001230828,0.0001001728,0.0003433075,0.000123071,0.001317637,0.004241471],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005995264,"about_ca_system_score_gemma":0.00008653785,"about_ca_topic_candidate":true,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003158166,"about_ca_topic_score_gemma":0.02807681,"domain_scores_codex":[0.9959908,0.0001678285,0.001107991,0.001101348,0.0009613551,0.0006706605],"domain_scores_gemma":[0.9975761,0.00022883,0.0005229982,0.000678498,0.0007835992,0.0002099517],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001085442,0.0001349415,0.000001409674,0.0005093067,0.0004542763,0.00007137848,0.0007368778,0.000006306497,0.0007530591,0.9718052,0.00006841175,0.02535029],"study_design_scores_gemma":[0.000742475,0.0002410101,0.00007291714,0.001036657,0.001000421,0.00001020117,0.006622238,0.000119035,0.003820272,0.4781689,0.5066698,0.001496052],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.4002277,0.0004925039,1.363074e-7,0.0004381555,0.01629658,0.0007259244,0.002384392,0.0006583912,0.5787762],"genre_scores_gemma":[0.8820565,0.00007310012,0.0001496987,0.000266459,0.001176566,0.0001346208,0.00257903,0.000279132,0.1132849],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5066014,"threshold_uncertainty_score":0.9994093,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02684547195925371,"score_gpt":0.2469811170095683,"score_spread":0.2201356450503145,"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."}}