{"id":"W4403222962","doi":"10.1145/3689714","title":"Intensional Functions","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":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Microsoft (Canada)","funders":"","keywords":"Mathematics","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.00332162,0.001151519,0.0005902807,0.001940297,0.001478472,0.004612514,0.001882469,0.001459003,0.009408798],"category_scores_gemma":[0.004631085,0.0008491206,0.001546282,0.001206049,0.005046261,0.01102155,0.003217289,0.003189976,0.003595832],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00163712,"about_ca_system_score_gemma":0.001251311,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009595723,"about_ca_topic_score_gemma":0.001106497,"domain_scores_codex":[0.9976513,0.0005553681,0.0002844053,0.0005219592,0.0006154166,0.0003716236],"domain_scores_gemma":[0.9967635,0.001094291,0.0002978102,0.0009530917,0.0007343444,0.0001570141],"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.0000482759,0.00001910688,0.0002949632,0.0001185239,0.00001234801,0.0001140294,0.0004344147,0.0005346742,0.002160209,0.9738767,0.002624188,0.01976248],"study_design_scores_gemma":[0.00004080014,0.00009972369,0.0004860369,0.0001741423,0.00007581992,0.0009522006,0.0003156322,0.008388424,0.01310985,0.7162165,0.2600512,0.00008967394],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01837534,0.001099064,0.9247258,0.001021684,0.0006311251,0.0001831788,0.000827117,0.003368838,0.04976793],"genre_scores_gemma":[0.4065435,0.001575533,0.5333735,0.001770365,0.0008314791,0.0007503328,0.00123328,0.002059414,0.05186261],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009408798,"threshold_uncertainty_score":0.0314756,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02000797147900105,"score_gpt":0.2656763741162286,"score_spread":0.2456684026372276,"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."}}