{"id":"W7005307874","doi":"","title":"Profiling Alloy Models","year":2021,"lang":"en","type":"dissertation","venue":"UWSpace (University of Waterloo)","topic":"Coleoptera Taxonomy and Distribution","field":"Agricultural and Biological Sciences","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Blackberry (Canada)","funders":"","keywords":"Modeling language; Correctness; Parsing; Matching (statistics); Identification (biology); Field (mathematics); Abstraction; Language model","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.00231818,0.001387271,0.0008561955,0.002846241,0.001265141,0.005867969,0.002646728,0.001471672,0.02078947],"category_scores_gemma":[0.01510792,0.001137769,0.002091993,0.002430612,0.0008106414,0.006583563,0.003775921,0.001474601,0.01031179],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001873125,"about_ca_system_score_gemma":0.002366458,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007589841,"about_ca_topic_score_gemma":0.01359605,"domain_scores_codex":[0.9949838,0.0008987925,0.0003822579,0.0006610323,0.002693598,0.0003805787],"domain_scores_gemma":[0.994132,0.001890411,0.0003793977,0.001920472,0.001543958,0.0001337916],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0006633512,0.0002855745,0.02308168,0.001137336,0.0001905696,0.00127025,0.004309578,0.09443084,0.02186727,0.458572,0.06853712,0.3256544],"study_design_scores_gemma":[0.00005848304,0.0001474314,0.003276721,0.0002697632,0.0001322796,0.0008450457,0.001519068,0.4022918,0.02283139,0.1323146,0.4361916,0.0001218287],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06659056,0.001114323,0.7906087,0.001554805,0.0003925384,0.0006492168,0.01098471,0.02127228,0.106833],"genre_scores_gemma":[0.3462133,0.001249591,0.5617596,0.0007363034,0.0001240498,0.0006661783,0.0308587,0.009242234,0.04915009],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02078947,"threshold_uncertainty_score":0.06954771,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01857378274921965,"score_gpt":0.1858079644635194,"score_spread":0.1672341817142997,"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."}}