{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004349363,0.000155093,0.0001552745,0.0001290252,0.0001457157,0.0004213652,0.002084534,0.00007036076,0.000009061881],"category_scores_gemma":[0.0006743339,0.0000920172,0.0001700579,0.0006677585,0.00009186172,0.0002987245,0.0008900937,0.0002355252,0.00007329782],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003369429,"about_ca_system_score_gemma":0.00003637474,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003126236,"about_ca_topic_score_gemma":0.000002072496,"domain_scores_codex":[0.9987161,0.00000827319,0.0002205794,0.0003812714,0.0003907561,0.0002830404],"domain_scores_gemma":[0.9990745,0.00009689739,0.00009560932,0.0004947223,0.0001796925,0.00005853456],"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.000006901733,0.0000906924,0.001429019,0.0002418017,0.00007208005,0.000007217635,0.001790323,0.00000148096,0.003212305,0.7135133,0.01298869,0.2666462],"study_design_scores_gemma":[0.0006110401,0.001109895,0.003513801,0.0005872067,0.000143638,0.0004880047,0.005074042,0.002309797,0.04502797,0.1558946,0.7841775,0.001062522],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6061612,0.02968081,0.07159747,0.09593745,0.02581291,0.007406089,0.00002215441,0.01602561,0.1473563],"genre_scores_gemma":[0.9884878,0.000005648101,0.00828366,0.0001516292,0.0002009532,0.00005335184,0.000001013886,0.00001624339,0.002799643],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7711888,"threshold_uncertainty_score":0.4063235,"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."}}