{"id":"W2163886598","doi":"10.1017/s0956796815000088","title":"A representation theorem for second-order functionals","year":2015,"lang":"en","type":"preprint","venue":"Journal of Functional Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Google (Canada)","funders":"Agencia Nacional de Promoción Científica y Tecnológica","keywords":"Finitary; Functor; Representation theorem; Representation (politics); Class (philosophy); Haskell; Mathematics; Algebra over a field; Abstraction; Pure mathematics; Computer science; Functional programming; Theoretical computer science; 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.003253381,0.0003656695,0.0006751039,0.000429693,0.0002068634,0.0007422144,0.0009043717,0.0003631929,0.00006558454],"category_scores_gemma":[0.0007030771,0.00029867,0.0006461995,0.0004596109,0.00007902817,0.0007137678,0.0004588799,0.0007823131,0.00002215434],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002727804,"about_ca_system_score_gemma":0.001174191,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001322242,"about_ca_topic_score_gemma":0.000009854452,"domain_scores_codex":[0.99643,0.0002093083,0.00121038,0.000574998,0.001147422,0.0004278899],"domain_scores_gemma":[0.9930987,0.0003968363,0.0019641,0.0005406436,0.003735207,0.0002645023],"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.0007287831,0.0009007882,0.001700701,0.0008237567,0.001897212,0.00009203872,0.001795541,0.01430694,0.0002837319,0.472416,0.09042903,0.4146255],"study_design_scores_gemma":[0.002118756,0.000953667,0.0005212998,0.00008312883,0.0001848907,0.0008054891,0.0003988007,0.008456055,0.0001965701,0.5322168,0.4533969,0.0006676188],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0009998208,0.001934978,0.98415,0.000855795,0.009696713,0.0008407066,0.00000511789,0.000117435,0.001399428],"genre_scores_gemma":[0.8188449,0.00003184017,0.1674199,0.0004156016,0.008379999,0.0003773709,0.0001453829,0.00008590621,0.004299088],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.817845,"threshold_uncertainty_score":0.9999465,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07853703555114158,"score_gpt":0.3121527780893357,"score_spread":0.2336157425381941,"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."}}