{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005029857,0.0007181414,0.001068958,0.002509971,0.00185781,0.004281346,0.002615781,0.001442124,0.0136324],"category_scores_gemma":[0.02461045,0.0008000843,0.00134266,0.001551571,0.00294402,0.006192227,0.004125134,0.002563192,0.002917845],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003267269,"about_ca_system_score_gemma":0.008110522,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01353848,"about_ca_topic_score_gemma":0.01017503,"domain_scores_codex":[0.9914165,0.001435591,0.0005243897,0.001937979,0.003728938,0.0009566358],"domain_scores_gemma":[0.9834552,0.006459135,0.0006191884,0.004671525,0.004532098,0.0002627308],"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.001192585,0.0002265746,0.009947871,0.001385727,0.0002383642,0.001328588,0.001397438,0.03936166,0.03067076,0.302048,0.02986102,0.5823415],"study_design_scores_gemma":[0.0002660217,0.0002236209,0.004213037,0.000331195,0.0004247943,0.001717889,0.0003934731,0.3322744,0.1982407,0.2737015,0.1879717,0.0002416318],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03956487,0.0004842254,0.9030029,0.001279533,0.0003880462,0.0006255303,0.001653202,0.03080492,0.02219667],"genre_scores_gemma":[0.3565988,0.0002761188,0.6191071,0.0007908752,0.0002175403,0.0004965742,0.002129529,0.00298212,0.01740133],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0136324,"threshold_uncertainty_score":0.04560488,"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."}}