{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006331312,0.0002502168,0.0002448347,0.0001446917,0.0002055543,0.0005479593,0.00325472,0.0001150863,0.00001261716],"category_scores_gemma":[0.000420364,0.0001559592,0.0002368022,0.0006406365,0.0001173709,0.0004963084,0.001917827,0.000250971,0.00009363879],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009849908,"about_ca_system_score_gemma":0.00004514194,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004612191,"about_ca_topic_score_gemma":0.000009494931,"domain_scores_codex":[0.9980661,0.000009674693,0.000328132,0.0005182094,0.0005581022,0.0005198059],"domain_scores_gemma":[0.9988095,0.00009590945,0.0001744751,0.0006867269,0.0001381397,0.0000952527],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0000251104,0.0001809565,0.003239158,0.001201321,0.0001310998,0.00002482875,0.00780891,0.000001309995,0.00670409,0.3906074,0.006966621,0.5831092],"study_design_scores_gemma":[0.001522806,0.0018336,0.003672969,0.001088585,0.000198451,0.0007493163,0.003667932,0.002132668,0.5397211,0.1298731,0.3134944,0.002045099],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8981709,0.008913846,0.0103763,0.01129914,0.004921975,0.004080635,0.00001618744,0.005070136,0.05715089],"genre_scores_gemma":[0.9852681,0.00001258129,0.009898232,0.0001453164,0.0002175642,0.0000916838,0.000001530985,0.00002932178,0.004335724],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5810641,"threshold_uncertainty_score":0.6359832,"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."}}