{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007558015,0.00004354034,0.00003972322,0.00001492949,0.0001660713,0.0001462119,0.0004731271,0.00002557509,0.000004536995],"category_scores_gemma":[0.00001389734,0.00002246544,0.0000261299,0.0001317545,0.00002276507,0.00009314392,0.0000808418,0.0000433126,0.0002331836],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001144042,"about_ca_system_score_gemma":0.00001160195,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007256065,"about_ca_topic_score_gemma":0.0001344456,"domain_scores_codex":[0.9994346,0.0000160899,0.0001007633,0.0001152545,0.0001360906,0.0001971577],"domain_scores_gemma":[0.999517,0.00008157884,0.00002702369,0.0002972656,0.00003363377,0.00004353796],"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":[6.225448e-7,0.000005854608,0.0003803561,7.747042e-7,0.000001905331,0.000003620097,0.000120245,2.418582e-7,0.00003376804,0.8810884,0.001871066,0.1164931],"study_design_scores_gemma":[0.0001623033,0.0000759591,0.005047507,6.706046e-7,0.000001496424,0.0000296186,0.0001550649,0.001937192,0.002924268,0.09358989,0.8959348,0.000141211],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0004639504,0.0001638417,0.8989052,0.0006745331,0.0006631702,0.00007265586,7.338291e-9,0.0001530305,0.09890364],"genre_scores_gemma":[0.9926262,0.000004402093,0.00181529,0.0001731152,0.00008988062,0.000001907126,1.30473e-7,0.000001940567,0.005287171],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9921622,"threshold_uncertainty_score":0.2997182,"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."}}