{"id":"W1548715740","doi":"10.1007/978-3-642-15274-0_7","title":"Type Specialization in Aldor","year":2010,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Computer science; Dilemma; Computation; Programming language; Theoretical computer science; Parametric statistics; Type (biology); Symbolic computation; 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008773509,0.0003718616,0.0004208263,0.0007544155,0.0001424864,0.000544494,0.002522386,0.0004525791,0.00003863409],"category_scores_gemma":[0.0001092791,0.0003273443,0.00007329076,0.0008556625,0.0003828251,0.0004507798,0.0007295992,0.0008102735,0.0001399436],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001899174,"about_ca_system_score_gemma":0.0004676023,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007745073,"about_ca_topic_score_gemma":0.0008308056,"domain_scores_codex":[0.9970574,0.00003266416,0.0004673535,0.001175218,0.0007221842,0.000545123],"domain_scores_gemma":[0.9981781,0.0001559546,0.0002384856,0.00108799,0.0002200034,0.0001194383],"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.000005172462,0.00004350573,0.0004933324,0.00004322141,0.000005710217,0.0001509395,0.001294093,0.002169742,0.0003323911,0.4129175,0.00003046813,0.5825139],"study_design_scores_gemma":[0.0004460625,0.0002778255,0.0005612908,0.0001102022,0.000005821559,0.0001032413,2.255501e-7,0.1119319,0.001778781,0.8272557,0.05643653,0.001092501],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00004129652,0.000260823,0.981978,0.0002649875,0.005442202,0.0003802245,4.314909e-7,0.0001287282,0.01150328],"genre_scores_gemma":[0.7364361,0.0000784761,0.2568194,0.001576193,0.002675181,0.00001515321,0.00001529667,0.00006946913,0.002314721],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7363948,"threshold_uncertainty_score":0.9999179,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02145878000984634,"score_gpt":0.2489602511939606,"score_spread":0.2275014711841143,"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."}}