{"id":"W2281674668","doi":"10.4230/lipics.types.2014.72","title":"Typeful Normalization by Evaluation","year":2015,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Continuation; Normalization (sociology); Metaprogramming; Computer science; Modulo; Programming language; Type inference; Syntax; System F; Simply typed lambda calculus; Functional programming; Algebraic number; Algebra over a field; Inference; Typed lambda calculus; Lambda calculus; Mathematics; Discrete mathematics; Pure mathematics; 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.001715856,0.0002624828,0.000273676,0.0001577832,0.0001983383,0.0005508174,0.00090048,0.0001912561,0.00001750058],"category_scores_gemma":[0.0001816632,0.0002256266,0.0001140405,0.0003849222,0.00005123022,0.002122167,0.0002354771,0.0001645261,0.0004266168],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001993494,"about_ca_system_score_gemma":0.0001729767,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003432311,"about_ca_topic_score_gemma":0.00001514381,"domain_scores_codex":[0.9975069,0.00007851314,0.0007666636,0.0002520534,0.0008743035,0.0005215258],"domain_scores_gemma":[0.997801,0.00004366103,0.0004109401,0.0006851983,0.0008110827,0.000248095],"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":[0.0001357975,0.0009157372,0.01903661,0.0007290785,0.0003349723,0.000005914314,0.04434806,0.001155256,0.0001010717,0.4838537,0.2670423,0.1823415],"study_design_scores_gemma":[0.003761909,0.0004373251,0.0001913639,0.00001874699,0.00004531592,0.00005099608,0.000890565,0.4065099,0.0007704347,0.01005531,0.5766681,0.000600096],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009918193,0.0001994734,0.9679457,0.0002242938,0.00211762,0.001419145,0.00003406,0.0003284494,0.01781308],"genre_scores_gemma":[0.9906709,0.00001076492,0.007039957,0.0005979617,0.0001826585,0.0001722402,0.0006937141,0.00002546785,0.0006063931],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9807526,"threshold_uncertainty_score":0.9200786,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03913021365096173,"score_gpt":0.2829436030577012,"score_spread":0.2438133894067394,"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."}}