{"id":"W4403222856","doi":"10.1145/3689717","title":"A Low-Level Look at A-Normal Form","year":2024,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"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.002090942,0.0008443044,0.0006208547,0.001328352,0.001567034,0.005008354,0.001522985,0.001833357,0.0102897],"category_scores_gemma":[0.005599234,0.0007572706,0.001426113,0.0008877668,0.007045744,0.01162614,0.002907013,0.006875818,0.003234627],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001706168,"about_ca_system_score_gemma":0.001307762,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002524813,"about_ca_topic_score_gemma":0.001836691,"domain_scores_codex":[0.9980089,0.0004379457,0.0001753907,0.0005879902,0.0005838299,0.0002059968],"domain_scores_gemma":[0.99727,0.001024216,0.0001120474,0.0007937257,0.0006394538,0.0001605654],"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.00001980341,0.00002559288,0.0003619812,0.00006152594,0.000006500992,0.0001553185,0.0006226817,0.0008960121,0.002054951,0.9804582,0.003129205,0.01220824],"study_design_scores_gemma":[0.000007661373,0.00003709127,0.0001854259,0.00004687863,0.00001162436,0.0003099445,0.0001469377,0.00606105,0.002541397,0.9364582,0.05416848,0.00002532982],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.018655,0.001665298,0.9007534,0.003858572,0.0006367619,0.0001100907,0.0003370169,0.002239794,0.07174401],"genre_scores_gemma":[0.4041779,0.001947926,0.5485998,0.004211607,0.0009749671,0.0002655227,0.0005856869,0.002212925,0.03702357],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0102897,"threshold_uncertainty_score":0.03442246,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02196409144499051,"score_gpt":0.2627908707760068,"score_spread":0.2408267793310163,"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."}}