{"id":"W2516704912","doi":"","title":"Evidence normalization in System FC","year":2013,"lang":"en","type":"article","venue":"Rewriting Techniques and Applications","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"St Mary's Hospital Centre","funders":"","keywords":"Haskell; Computer science; Type inference; Programming language; Inference; Normalization (sociology); Debugging; Type theory; Type (biology); Functional programming; Theoretical computer science; Algorithm; Artificial intelligence","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.0002777684,0.00007027495,0.00009024726,0.00007321076,0.0001146663,0.000190747,0.0002833771,0.00005318047,0.000002258399],"category_scores_gemma":[0.00001069284,0.00006390883,0.0000168611,0.0003238781,0.0000224341,0.0003867828,0.0001073308,0.00006329451,0.00003142234],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003493301,"about_ca_system_score_gemma":0.00001315021,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003432903,"about_ca_topic_score_gemma":0.00001062142,"domain_scores_codex":[0.999294,0.00003256155,0.0002092922,0.0002316753,0.00008808089,0.0001443222],"domain_scores_gemma":[0.9994613,0.00005042997,0.00007891837,0.000292734,0.00007500384,0.00004161112],"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":[1.541487e-7,0.00001168174,0.001771418,0.00007791624,8.604518e-7,9.31969e-7,0.0000527848,6.381009e-7,0.0002884049,0.8287081,0.0001241962,0.1689629],"study_design_scores_gemma":[0.00103118,0.0007961118,0.019725,0.002379378,0.00004471064,0.001306749,0.002205739,0.2015726,0.03518935,0.2682612,0.4643118,0.003176155],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.000931206,0.000673526,0.9872051,0.000320175,0.00001220301,0.0008946538,2.428412e-7,0.0007617586,0.009201069],"genre_scores_gemma":[0.9735563,0.0001312083,0.02480374,0.00003504916,0.00007517121,0.001311673,0.000001891141,0.000005113284,0.0000798008],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9726251,"threshold_uncertainty_score":0.2606127,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02779692912342209,"score_gpt":0.2718369373002821,"score_spread":0.24404000817686,"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."}}