{"id":"W7061153160","doi":"","title":"Parsing, Lexical Scoping and Incremental Development for a Dependently-Typed Programming Language","year":2024,"lang":"en","type":"dissertation","venue":"eScholarship@McGill (McGill)","topic":"Magnetic confinement fusion research","field":"Physics and Astronomy","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Development (topology); Perspective (graphical); Natural language; Process (computing); Language identification; Field (mathematics)","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.00536832,0.0005899815,0.0004069624,0.001366146,0.001493712,0.004134445,0.002319412,0.00091886,0.003902285],"category_scores_gemma":[0.01263384,0.001467919,0.001654036,0.0009244274,0.003189701,0.006590839,0.002982272,0.002541462,0.0013371],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001813795,"about_ca_system_score_gemma":0.003837278,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005809383,"about_ca_topic_score_gemma":0.008408878,"domain_scores_codex":[0.9969239,0.001189112,0.0003210097,0.0005147749,0.0007951694,0.0002560406],"domain_scores_gemma":[0.9917922,0.005451772,0.0003847279,0.001113557,0.001091784,0.0001659742],"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.0001613367,0.0001181387,0.001043287,0.0006652039,0.00003752402,0.0006970054,0.005315895,0.01076004,0.02145409,0.7963413,0.006413774,0.1569925],"study_design_scores_gemma":[0.0002055698,0.0002546822,0.001136873,0.0004780669,0.0002338129,0.001691612,0.001334156,0.1999197,0.07519372,0.496159,0.2230818,0.0003109935],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.01036933,0.0001337533,0.9789851,0.0003110887,0.00003532782,0.0001926865,0.000122624,0.004690493,0.005159638],"genre_scores_gemma":[0.1299958,0.0002906248,0.8595986,0.0002071365,0.00003116533,0.0002281058,0.0003344191,0.001610794,0.007703338],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.005809383,"threshold_uncertainty_score":0.02839077,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01836137665329632,"score_gpt":0.295096356382098,"score_spread":0.2767349797288017,"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."}}