{"id":"W2029165398","doi":"10.1145/1292597.1292604","title":"The swiss coercion","year":2007,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Coercion (linguistics); Computer science; Programmer; Soundness; Programming language; Context (archaeology); Theoretical computer science","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.00139526,0.0007643445,0.0003878821,0.001121369,0.002751954,0.003718462,0.0008005861,0.002066528,0.05474759],"category_scores_gemma":[0.004604293,0.0005909948,0.0006782628,0.001061673,0.003274003,0.005508543,0.003856475,0.003399427,0.01614865],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001994043,"about_ca_system_score_gemma":0.002366596,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006641135,"about_ca_topic_score_gemma":0.006488503,"domain_scores_codex":[0.9976391,0.0004484005,0.0001255103,0.0003658079,0.001117118,0.0003041906],"domain_scores_gemma":[0.9981049,0.0006026521,0.0001239449,0.0005190072,0.0005154919,0.0001339196],"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.0001001134,0.00001256638,0.0007133168,0.0001207844,0.000009817419,0.0003606006,0.001111709,0.000406383,0.001819786,0.881547,0.0721105,0.04168749],"study_design_scores_gemma":[0.00003064293,0.00002398807,0.0005878125,0.0002673156,0.00001977862,0.0007975924,0.0003103749,0.002286391,0.004474692,0.09607996,0.8950691,0.00005239375],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.01861598,0.004304254,0.0944477,0.0204004,0.005523619,0.0001409696,0.00153513,0.006875146,0.8481569],"genre_scores_gemma":[0.3910221,0.004078111,0.05779143,0.007245044,0.002419255,0.0003235945,0.001482378,0.004223762,0.5314143],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.05474759,"threshold_uncertainty_score":0.1831489,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02198973590520692,"score_gpt":0.2593643794213219,"score_spread":0.237374643516115,"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."}}