{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":26,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":26,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12","author_layer_release":"2026-06-26"},"query_hash":"d837e8afa381","filters":{"venue":"Journal of Functional Programming"}},"results":[{"id":"W2101225843","doi":"10.1017/s0956796809990074","title":"Revised <sup>6</sup> Report on the Algorithmic Language Scheme","year":2009,"lang":"en","type":"article","venue":"Journal of Functional Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":325,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Emergent BioSolutions (Canada)","funders":"Office of Naval Research; Advanced Research Projects Agency; University of Cambridge; U.S. Department of Defense; National Science Foundation","keywords":"Computer science; Programming language; Lisp; Scheme (mathematics); Syntax; Feature (linguistics); Exception handling; Block (permutation group theory); Class (philosophy); Operator (biology); Functional programming; Theoretical computer science; Artificial intelligence; Mathematics","authors":[{"name":"Michael Sperber","is_ca":false},{"name":"R. Kent Dybvig","is_ca":false},{"name":"Matthew Flatt","is_ca":false},{"name":"ANTON VAN STRAATEN","is_ca":true},{"name":"Robby Findler","is_ca":false},{"name":"Jacob Matthews","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02597092254800683,"gpt":0.2593297195254717,"spread":0.2333587969774649,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004771677,0.0007359627,0.0006055298,0.001557767,0.001759148,0.005707163,0.00143055,0.001759504,0.0660365],"category_scores_gemma":[0.01017496,0.0004734978,0.001150308,0.001702855,0.002592266,0.006211366,0.002177023,0.00453769,0.02450158],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003917859,"about_ca_system_score_gemma":0.001559741,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005519446,"about_ca_topic_score_gemma":0.003532833,"domain_scores_codex":[0.9974666,0.0008124598,0.0003403109,0.0003088732,0.0008476168,0.0002241726],"domain_scores_gemma":[0.9921718,0.003019377,0.0002686774,0.000848229,0.00342691,0.0002649482],"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.00005753529,0.00001728419,0.000153493,0.0001417449,0.00000884414,0.00007595035,0.0002648844,0.0006015559,0.0004065339,0.6289809,0.3409041,0.02838716],"study_design_scores_gemma":[0.000005323788,0.00001134989,0.0001673676,0.00005868828,0.000004764382,0.00005496549,0.00006309365,0.0002485548,0.0003613669,0.01730545,0.9817105,0.000008579472],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.007212076,0.01379291,0.05265686,0.0827425,0.06908129,0.000257807,0.003302426,0.001137852,0.7698162],"genre_scores_gemma":[0.08846552,0.01556552,0.0272289,0.007913391,0.02004448,0.0003775644,0.004084541,0.001319487,0.8350006],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.0660365,"threshold_uncertainty_score":0.2209141,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2123092976","doi":"10.1017/s0956796809007205","title":"Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages","year":2009,"lang":"en","type":"article","venue":"Journal of Functional Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":270,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Programming language; Haskell; Combinatory logic; Interpreter; Functional programming; Abstract syntax; Data type; Compiler; Abstract syntax tree; Parsing; Semantics (computer science)","authors":[{"name":"Jacques Carette","is_ca":true},{"name":"Oleg Kiselyov","is_ca":false},{"name":"Chung-chieh Shan","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03776732997830856,"gpt":0.3030129315606968,"spread":0.2652456015823882,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001958902,0.0004080105,0.0004789928,0.0005551039,0.0005637479,0.002790968,0.001303465,0.0007674112,0.003112995],"category_scores_gemma":[0.004077211,0.0005899624,0.001198951,0.000388735,0.003674458,0.004060323,0.001943045,0.002135033,0.0008897921],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00117193,"about_ca_system_score_gemma":0.001092685,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007564548,"about_ca_topic_score_gemma":0.00108575,"domain_scores_codex":[0.9986583,0.000379454,0.0001383831,0.0001847482,0.0004589873,0.0001801984],"domain_scores_gemma":[0.9977109,0.0006670341,0.0001729017,0.0008366957,0.0004986404,0.0001138481],"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.0002496906,0.0000729987,0.001128318,0.0001888512,0.00003153183,0.0006818782,0.001810615,0.02786649,0.03020427,0.9028919,0.00173359,0.03313993],"study_design_scores_gemma":[0.0001040249,0.0001711139,0.0003721162,0.0001138953,0.0000929218,0.0004119035,0.0002326228,0.1876807,0.07074615,0.7054492,0.03452675,0.0000986521],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04266232,0.0001005587,0.9481027,0.0001916756,0.000110455,0.00006302402,0.0001138314,0.003137474,0.005517945],"genre_scores_gemma":[0.5989597,0.0001724432,0.3861593,0.0003433561,0.00008335532,0.000113281,0.0002083451,0.001943452,0.0120169],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003112995,"threshold_uncertainty_score":0.010414,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2188068291","doi":"10.1017/s0956796816000022","title":"Well-founded recursion with copatterns and sized types","year":2016,"lang":"en","type":"article","venue":"Journal of Functional Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":42,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University","funders":"Natural Sciences and Engineering Research Council of Canada; Vetenskapsrådet","keywords":"Computer science; Normalization (sociology); Rewriting; Recursion (computer science); Data type; Theoretical computer science; Pattern matching; Programming language; Algorithm; Discrete mathematics; Mathematics","authors":[{"name":"Andreas Abel","is_ca":false},{"name":"Brigitte Pientka","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02022604562355896,"gpt":0.2315528772498165,"spread":0.2113268316262575,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007748462,0.0005023952,0.001595776,0.001283709,0.001516215,0.003919717,0.00328544,0.001187238,0.002645029],"category_scores_gemma":[0.01960241,0.001388166,0.002573787,0.001377758,0.006645559,0.01173448,0.005802562,0.005062916,0.000795047],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004303256,"about_ca_system_score_gemma":0.00322544,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005619781,"about_ca_topic_score_gemma":0.003804651,"domain_scores_codex":[0.9908978,0.002427985,0.0008407402,0.00208081,0.002835107,0.0009175512],"domain_scores_gemma":[0.9810092,0.009483272,0.001020152,0.005570751,0.002422284,0.000494358],"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.0001074859,0.00005360179,0.002007762,0.0001080347,0.00003790493,0.0002037546,0.0007951945,0.01003486,0.005350098,0.9602556,0.0008695067,0.02017631],"study_design_scores_gemma":[0.00004894576,0.00008243831,0.0006944581,0.0001024468,0.0001475626,0.0003660822,0.0001423224,0.1548773,0.0327591,0.7881888,0.02250007,0.00009048415],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04135286,0.0002010245,0.9506454,0.0004262772,0.00007924129,0.00007308966,0.0001085342,0.002548275,0.004565224],"genre_scores_gemma":[0.5536414,0.0002793557,0.4345206,0.0005711427,0.0001642235,0.0003074108,0.0002556828,0.001778918,0.008481309],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007748462,"threshold_uncertainty_score":0.04097825,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1980256844","doi":"10.1017/s0956796800003841","title":"On characterizations of the basic feasible functionals, Part I","year":2001,"lang":"en","type":"article","venue":"Journal of Functional Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":39,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Victoria","funders":"National Science Foundation","keywords":"Computer science; Characterization (materials science); Formalism (music); Type (biology); Functional programming; Theoretical computer science; Algebra over a field; Mathematics; Pure mathematics","authors":[{"name":"Robert J. Irwin","is_ca":false},{"name":"James S. Royer","is_ca":false},{"name":"Bruce M. Kapron","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04068088561351309,"gpt":0.2431295643264491,"spread":0.202448678712936,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002099121,0.0009367294,0.0005332825,0.001386762,0.001037424,0.002596869,0.001570646,0.001175432,0.006507786],"category_scores_gemma":[0.00435187,0.0005526414,0.001175483,0.002397961,0.003056182,0.009959628,0.002806365,0.002643427,0.001079442],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001031302,"about_ca_system_score_gemma":0.0007070983,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009479549,"about_ca_topic_score_gemma":0.0006196901,"domain_scores_codex":[0.9987308,0.0002610541,0.0001241206,0.0003009105,0.000372274,0.0002106753],"domain_scores_gemma":[0.9976877,0.0009970741,0.0003562533,0.0004048175,0.0004275281,0.0001266484],"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.00003071196,0.00002037104,0.0005639803,0.00008068153,0.000005838985,0.00007159566,0.0003565496,0.002854871,0.002900523,0.9826105,0.0008082636,0.00969612],"study_design_scores_gemma":[0.000008779131,0.00005121352,0.0004772246,0.00007518925,0.00001426604,0.0002011933,0.0001503343,0.01819185,0.003153796,0.9600084,0.01763821,0.00002952856],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0413725,0.0008577952,0.9358209,0.0005737519,0.0001161532,0.00007344319,0.0005205466,0.0003562276,0.02030865],"genre_scores_gemma":[0.6265512,0.002025137,0.3535927,0.0007653522,0.0005287355,0.0006284598,0.001350904,0.0004145579,0.01414299],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006507786,"threshold_uncertainty_score":0.02177072,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2060305077","doi":"10.1017/s0956796801004294","title":"The lambda calculus is algebraic","year":2002,"lang":"en","type":"article","venue":"Journal of Functional Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":32,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Ottawa","funders":"","keywords":"Interpretation (philosophy); Computer science; Calculus (dental); Focus (optics); Curry–Howard correspondence; Typed lambda calculus; Natural deduction; Lambda calculus; Lambda; Algebraic number; Simply typed lambda calculus; Algebra over a field; Algorithm; Programming language; Mathematics; Pure mathematics","authors":[{"name":"Peter Selinger","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03378854058142485,"gpt":0.2352165955470304,"spread":0.2014280549656055,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001931357,0.000568175,0.0009764392,0.0009419144,0.003039778,0.008087255,0.001068309,0.001402993,0.008335293],"category_scores_gemma":[0.005287926,0.0005461856,0.001109526,0.001518786,0.008679739,0.01491578,0.005137285,0.005286357,0.002549674],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002213101,"about_ca_system_score_gemma":0.002107475,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002490882,"about_ca_topic_score_gemma":0.001475009,"domain_scores_codex":[0.9972682,0.0004914266,0.0001622385,0.0005577796,0.00132399,0.000196368],"domain_scores_gemma":[0.9976479,0.000895849,0.000174651,0.0005064912,0.0006014687,0.0001735285],"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.000002535643,0.000002434115,0.00002794217,0.00001743011,0.000002439139,0.00001544231,0.000112254,0.0001364829,0.0000640326,0.9962031,0.001017296,0.002398693],"study_design_scores_gemma":[0.000003740976,0.000003844395,0.00004720812,0.00001301748,0.000003014675,0.00005466694,0.00003348642,0.0004605025,0.00006962616,0.9608092,0.03849581,0.000005790834],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.02200009,0.01076125,0.4639198,0.02699379,0.001930319,0.00007692185,0.0007366986,0.001070934,0.4725101],"genre_scores_gemma":[0.7582834,0.01374943,0.1107364,0.005028035,0.004759398,0.0002586478,0.000685645,0.0007001483,0.105799],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008335293,"threshold_uncertainty_score":0.0278843,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2995917016","doi":"10.1017/s0956796819000170","title":"POPLMark reloaded: Mechanizing proofs by logical relations","year":2019,"lang":"en","type":"article","venue":"Journal of Functional Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":31,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University","funders":"","keywords":"Mathematical proof; Computer science; Metatheory; Programming language; Proof assistant; Abstract syntax; Functional programming; Semantics (computer science); Mathematics","authors":[{"name":"Andreas Abel","is_ca":false},{"name":"Guillaume Allais","is_ca":false},{"name":"Aliya Hameer","is_ca":true},{"name":"Brigitte Pientka","is_ca":true},{"name":"Alberto Momigliano","is_ca":false},{"name":"Steven Schäfer","is_ca":false},{"name":"Kathrin Stark","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02365988379521138,"gpt":0.2329471454006798,"spread":0.2092872616054684,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0183033,0.000565986,0.001179422,0.001922312,0.001812331,0.005888832,0.00403774,0.001714529,0.007447538],"category_scores_gemma":[0.05152817,0.001083668,0.001439941,0.001553151,0.00895997,0.01733433,0.009685585,0.005555476,0.001692123],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002738799,"about_ca_system_score_gemma":0.006143715,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002478778,"about_ca_topic_score_gemma":0.002657984,"domain_scores_codex":[0.9789985,0.01217644,0.0009201983,0.002095156,0.004693463,0.001116254],"domain_scores_gemma":[0.9588811,0.02326848,0.001167962,0.01186795,0.004009653,0.000804869],"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.0000981296,0.00008988551,0.0006730357,0.0002051981,0.00002904949,0.0001223004,0.0005375328,0.008001325,0.003599077,0.9370409,0.004330722,0.04527281],"study_design_scores_gemma":[0.00007470381,0.0001084013,0.0003301476,0.0001779653,0.0000696914,0.0001664874,0.0003220933,0.05436572,0.01859557,0.8839595,0.04173145,0.00009819012],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02868397,0.0005016865,0.9510049,0.002575663,0.0003852752,0.0001380725,0.0001540448,0.006119174,0.01043718],"genre_scores_gemma":[0.4794257,0.0007007835,0.5074611,0.001583086,0.0003003121,0.0003493649,0.0003572055,0.001825396,0.00799697],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0183033,"threshold_uncertainty_score":0.0967983,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1971907018","doi":"10.1017/s0956796806006125","title":"Featherweight generic confinement","year":2006,"lang":"en","type":"article","venue":"Journal of Functional Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Carleton University","funders":"Marsden Fund; Royal Society Te Apārangi","keywords":"Computer science; Programming language; Java; Encapsulation (networking); Type (biology); Computer security","authors":[{"name":"Alex Potanin","is_ca":false},{"name":"James Noble","is_ca":false},{"name":"Dave Clarke","is_ca":false},{"name":"Robert Biddle","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02412810170891239,"gpt":0.2259490081546352,"spread":0.2018209064457228,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002077404,0.000653246,0.0008077634,0.0007628622,0.001155642,0.002159024,0.003118555,0.001608339,0.01397457],"category_scores_gemma":[0.006462268,0.0007448948,0.001364594,0.0008238488,0.002550322,0.005946095,0.008921678,0.002352358,0.003823705],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001202442,"about_ca_system_score_gemma":0.001270405,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002354183,"about_ca_topic_score_gemma":0.002786531,"domain_scores_codex":[0.9974589,0.0002948759,0.0001695199,0.0004633041,0.001089228,0.0005242368],"domain_scores_gemma":[0.9953364,0.0004888671,0.0002951236,0.003223482,0.0004947606,0.0001614453],"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.0006238738,0.0002071522,0.004381483,0.0006847118,0.00009881223,0.0009839879,0.001792031,0.005248524,0.06499989,0.7041685,0.03410256,0.1827085],"study_design_scores_gemma":[0.0001032648,0.0002086698,0.003149306,0.0003806565,0.0001571523,0.002364946,0.0003429246,0.03907166,0.06121765,0.2694898,0.6233139,0.0002002059],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05361528,0.000562476,0.8518944,0.0009728646,0.0004615545,0.0002929698,0.00066509,0.02901121,0.06252424],"genre_scores_gemma":[0.6078277,0.0008829871,0.3040914,0.002543783,0.000275574,0.0005567581,0.001532665,0.010643,0.07164607],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01397457,"threshold_uncertainty_score":0.04674959,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2522116950","doi":"10.1017/s0956796816000162","title":"Gradual type-and-effect systems","year":2016,"lang":"en","type":"article","venue":"Journal of Functional Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Abstract interpretation; Decidability; Type theory; Type (biology); Interpretation (philosophy); Model checking; Programming language; Theoretical computer science","authors":[{"name":"Felipe Bañados Schwerter","is_ca":true},{"name":"Ronald Garcia","is_ca":true},{"name":"Éric Tanter","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02849093842516767,"gpt":0.2466756690347579,"spread":0.2181847306095902,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008602187,0.000691305,0.0008169927,0.002220254,0.001370619,0.00295975,0.002924096,0.001459942,0.003493172],"category_scores_gemma":[0.01984151,0.00108604,0.002197828,0.001090301,0.007291531,0.007217041,0.005189863,0.003412186,0.0006450619],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002089831,"about_ca_system_score_gemma":0.001958072,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0032279,"about_ca_topic_score_gemma":0.003009997,"domain_scores_codex":[0.9928545,0.001880599,0.0006102328,0.001768754,0.002043929,0.0008419438],"domain_scores_gemma":[0.9803977,0.009061279,0.001237598,0.005877125,0.00285494,0.0005714192],"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.00009286638,0.00003425789,0.00163742,0.0001524214,0.00004515788,0.0002976293,0.0005858672,0.01432774,0.003913889,0.9576442,0.0009875427,0.02028105],"study_design_scores_gemma":[0.0001079392,0.0001173171,0.0007100639,0.0001420472,0.0002277045,0.0004636342,0.0001700852,0.09422745,0.01672293,0.8568394,0.03015197,0.0001195091],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02306855,0.0001602601,0.967461,0.0003898575,0.00009395481,0.0001253432,0.000134515,0.002303531,0.006262979],"genre_scores_gemma":[0.5567213,0.0002624676,0.4343275,0.000420903,0.0001336894,0.0002067894,0.0002270307,0.0005175999,0.007182733],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008602187,"threshold_uncertainty_score":0.04549325,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2127778137","doi":"10.1017/s0956796812000408","title":"An insider's look at LF type reconstruction: everything you (n)ever wanted to know","year":2012,"lang":"en","type":"article","venue":"Journal of Functional Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University","funders":"","keywords":"Correctness; Computer science; Type (biology); Programming language; Mathematical proof; Debugging; Abstraction; Theoretical computer science; Logical framework; Artificial intelligence; Algorithm; Mathematics; Epistemology","authors":[{"name":"Brigitte Pientka","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03030153773462899,"gpt":0.2591107790901406,"spread":0.2288092413555116,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01225936,0.0004319579,0.0009631136,0.0008603758,0.002916579,0.004636465,0.00256244,0.001939848,0.01041475],"category_scores_gemma":[0.02473154,0.0009150159,0.001417637,0.0008929874,0.006736731,0.01832449,0.004914771,0.005343786,0.001642103],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001935562,"about_ca_system_score_gemma":0.001910768,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004326608,"about_ca_topic_score_gemma":0.005018423,"domain_scores_codex":[0.9935638,0.002677016,0.0002772837,0.0009350572,0.001858464,0.0006884088],"domain_scores_gemma":[0.9855008,0.005955258,0.0006686781,0.005462913,0.00206822,0.0003441645],"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.0004375583,0.0000841788,0.005031268,0.0001592137,0.0000451635,0.0004380117,0.003383102,0.006696037,0.00772754,0.8281125,0.01570275,0.1321825],"study_design_scores_gemma":[0.00007202774,0.0002145695,0.001026472,0.0003547112,0.0001161409,0.001797348,0.002918666,0.0942838,0.05244428,0.6977488,0.1486879,0.0003353328],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02854639,0.0003363486,0.9500151,0.006311811,0.0003382539,0.00004329542,0.00008346421,0.003901115,0.01042415],"genre_scores_gemma":[0.4091479,0.0003531394,0.5689084,0.002603461,0.0001814973,0.00005679212,0.0001720811,0.002492483,0.01608434],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01225936,"threshold_uncertainty_score":0.06483448,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2000778709","doi":"10.1017/s0956796803004921","title":"Dependent types ensure partial correctness of theorem provers","year":2004,"lang":"en","type":"article","venue":"Journal of Functional Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Ottawa","funders":"","keywords":"Computer science; Correctness; Programming language; Automated theorem proving; Compiler; Proof assistant; Gas meter prover; Theoretical computer science; Mathematics; Mathematical proof","authors":[{"name":"Andrew W. Appel","is_ca":false},{"name":"Amy Felty","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02036113554305555,"gpt":0.2373861496724686,"spread":0.2170250141294131,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.02002434,0.001479387,0.002047077,0.002967681,0.003023964,0.006307181,0.004464246,0.003172345,0.006411438],"category_scores_gemma":[0.1247549,0.003561411,0.003786827,0.00217343,0.00739152,0.01395033,0.009987063,0.005805625,0.003205688],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002721655,"about_ca_system_score_gemma":0.004931808,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001868862,"about_ca_topic_score_gemma":0.00167777,"domain_scores_codex":[0.9708043,0.009160961,0.003457078,0.003588552,0.01006038,0.002928731],"domain_scores_gemma":[0.8467042,0.08627766,0.005613694,0.03879764,0.02090924,0.001697564],"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.001917714,0.0003772985,0.01231697,0.001568107,0.0003931909,0.001269513,0.003602885,0.04029053,0.03898357,0.7235113,0.01323335,0.1625356],"study_design_scores_gemma":[0.0007429198,0.0003034847,0.0016604,0.0002909618,0.0005219853,0.001061139,0.0002727806,0.1908412,0.1637152,0.6089835,0.03141272,0.0001937229],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02910681,0.0002098483,0.9541885,0.0007350013,0.0001018392,0.0001467571,0.0004683773,0.01043378,0.004609032],"genre_scores_gemma":[0.515035,0.0005770745,0.4695747,0.001101617,0.0002883542,0.0006560555,0.001401629,0.005600078,0.005765461],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02002434,"threshold_uncertainty_score":0.1059001,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4387270836","doi":"10.1017/s0956796823000060","title":"Normalization by evaluation for modal dependent type theory","year":2023,"lang":"en","type":"article","venue":"Journal of Functional Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Normalization (sociology); Type theory; Modal; Haskell; Typed lambda calculus; Curry–Howard correspondence; Programming language; Algorithm; Modular design; Calculus (dental); Theoretical computer science; Algebra over a field; Type (biology); Functional programming; Lambda calculus; Mathematics; Pure mathematics","authors":[{"name":"Jason Z. S. Hu","is_ca":true},{"name":"Junyoung Jang","is_ca":true},{"name":"Brigitte Pientka","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0500007676924014,"gpt":0.2939298202417504,"spread":0.2439290525493489,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006612887,0.0004649967,0.001107924,0.001441854,0.001550126,0.00290442,0.002272879,0.001001026,0.005775614],"category_scores_gemma":[0.01410924,0.001155767,0.00202823,0.001224661,0.004978784,0.009540375,0.006501841,0.004918186,0.001061579],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003166673,"about_ca_system_score_gemma":0.002576575,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001747097,"about_ca_topic_score_gemma":0.002209693,"domain_scores_codex":[0.9935889,0.001737386,0.0003392496,0.0008986678,0.002736251,0.0006996235],"domain_scores_gemma":[0.9922097,0.004245906,0.0002222313,0.00163808,0.001504091,0.0001800712],"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.00007128471,0.0000353069,0.0007461424,0.0001182739,0.0000209716,0.000145067,0.0003408868,0.00403277,0.004455721,0.9549409,0.00203574,0.03305705],"study_design_scores_gemma":[0.00003571307,0.00003407346,0.0004593438,0.0001044812,0.00004654342,0.000262428,0.0001169221,0.09290326,0.0298875,0.852697,0.02338189,0.00007075782],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01506418,0.0001814213,0.9742887,0.0004594633,0.0001149829,0.00006735236,0.00008861307,0.001649957,0.008085391],"genre_scores_gemma":[0.4693356,0.0004313268,0.5171459,0.0007733908,0.000202526,0.0002580925,0.0002078413,0.001453919,0.01019124],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006612887,"threshold_uncertainty_score":0.03497267,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2145575901","doi":"10.1017/s0956796810000158","title":"Formal polytypic programs and proofs","year":2010,"lang":"en","type":"article","venue":"Journal of Functional Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Trinity College","funders":"Irish Research Council; Science Foundation Ireland; Irish Research Council for Science, Engineering and Technology","keywords":"Mathematical proof; Computer science; Haskell; Programming language; Proof assistant; Lemma (botany); Function (biology); Recursion (computer science); Functional programming; Mathematics","authors":[{"name":"Wendy Verbruggen","is_ca":true},{"name":"Edsko de Vries","is_ca":true},{"name":"Arthur Hughes","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02135160255679166,"gpt":0.2337157939823748,"spread":0.2123641914255831,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003048554,0.0004504482,0.0004137135,0.0008167502,0.000970318,0.002556168,0.001429442,0.0008392872,0.006116792],"category_scores_gemma":[0.008321608,0.000528147,0.0008515416,0.001021172,0.00470067,0.004414881,0.003722039,0.002438856,0.000932732],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00129905,"about_ca_system_score_gemma":0.001547829,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001697435,"about_ca_topic_score_gemma":0.001276003,"domain_scores_codex":[0.9951755,0.001757544,0.0003968825,0.0007170693,0.001466697,0.0004864297],"domain_scores_gemma":[0.9899148,0.005045155,0.0009160012,0.002376069,0.001516027,0.0002319725],"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.00005667324,0.00003377927,0.0005029279,0.0003198022,0.0000320896,0.0002997263,0.000708193,0.009150747,0.004008291,0.9456372,0.00302126,0.03622927],"study_design_scores_gemma":[0.00004070467,0.00004035818,0.0003369138,0.0001263985,0.00004196947,0.00039591,0.000209105,0.03703826,0.01506062,0.8986139,0.04805459,0.00004116006],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02000142,0.0005463509,0.9641462,0.0007780379,0.0001333714,0.000062223,0.0001683961,0.002614404,0.01154957],"genre_scores_gemma":[0.6144987,0.0009894746,0.3720463,0.0009778069,0.0002493204,0.0001914954,0.0004114027,0.00092543,0.009710094],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006116792,"threshold_uncertainty_score":0.02046263,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4317906537","doi":"10.1017/s0956796822000120","title":"Is sized typing for Coq practical?","year":2023,"lang":"en","type":"article","venue":"Journal of Functional Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo; University of British Columbia","funders":"Natural Sciences and Engineering Research Council of Canada; Strong","keywords":"Computer science; Proof assistant; Type theory; Programming language; Type inference; Normalization property; Inference; Calculus (dental); Type (biology); Theoretical computer science; Mathematical proof; Artificial intelligence; Mathematics","authors":[{"name":"Jonathan Chan","is_ca":true},{"name":"YUFENG LI","is_ca":true},{"name":"William J. Bowman","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.08618167847390777,"gpt":0.3251560808116329,"spread":0.2389744023377252,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01537962,0.0008006358,0.001274778,0.001313676,0.002052714,0.006899031,0.00405137,0.002348275,0.0160083],"category_scores_gemma":[0.06473485,0.001497287,0.001703465,0.001695974,0.0054424,0.01810673,0.00832232,0.005077616,0.003312837],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00337837,"about_ca_system_score_gemma":0.00444241,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003654391,"about_ca_topic_score_gemma":0.002577507,"domain_scores_codex":[0.9844376,0.005237063,0.001261581,0.002649201,0.005060966,0.001353592],"domain_scores_gemma":[0.9462587,0.02777102,0.002436535,0.01559413,0.00692209,0.001017474],"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.0004141392,0.0001173783,0.005993634,0.0004708054,0.00006421895,0.0002687566,0.001304504,0.005685416,0.007837408,0.8452411,0.01802988,0.1145728],"study_design_scores_gemma":[0.0001201673,0.0001671409,0.00117818,0.0005877484,0.0001144641,0.0006157042,0.0007336517,0.09569678,0.0223944,0.7331951,0.1450628,0.0001340707],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01438267,0.0003465126,0.9656568,0.002331851,0.0004400736,0.00009903558,0.0001527775,0.008488836,0.00810151],"genre_scores_gemma":[0.3907766,0.0005571597,0.5863773,0.003328754,0.0006247791,0.0003802526,0.0005004171,0.007936558,0.009518237],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0160083,"threshold_uncertainty_score":0.0813362,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4296058499","doi":"10.1017/s0956796822000090","title":"ANF preserves dependent types up to extensional equality","year":2022,"lang":"en","type":"article","venue":"Journal of Functional Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Programming language; Compiler; Type safety; Type (biology); Correctness; Dependent type; Type theory; Lambda calculus","authors":[{"name":"Paulette Koronkevich","is_ca":true},{"name":"RAMON RAKOW","is_ca":true},{"name":"Amal Ahmed","is_ca":false},{"name":"William J. Bowman","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.05758165745358277,"gpt":0.2833981978909195,"spread":0.2258165404373367,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002165249,0.000467514,0.0004437224,0.0006523591,0.0006693779,0.001645619,0.0009907174,0.0007458121,0.003138299],"category_scores_gemma":[0.006592694,0.0005142204,0.0009702247,0.0004396243,0.002628776,0.002891467,0.002463648,0.002586076,0.0008870076],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008000417,"about_ca_system_score_gemma":0.001133337,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001156501,"about_ca_topic_score_gemma":0.0007612293,"domain_scores_codex":[0.99753,0.0004170665,0.0002057433,0.0004596472,0.001109571,0.000277894],"domain_scores_gemma":[0.9946977,0.00155546,0.000375324,0.001919554,0.001295827,0.0001561608],"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.0002777661,0.000204091,0.002115579,0.0002010532,0.00004376941,0.0006433589,0.001361152,0.01194156,0.04425998,0.8590453,0.006151512,0.07375499],"study_design_scores_gemma":[0.000152971,0.0003007256,0.001593713,0.0001530092,0.0001351661,0.001216268,0.0003960823,0.1201272,0.1335539,0.6647587,0.07748905,0.0001231848],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1023159,0.0001029257,0.8741968,0.0005191084,0.000393577,0.0001022997,0.0002137551,0.004998124,0.01715755],"genre_scores_gemma":[0.7838591,0.0001375684,0.2002064,0.0005725197,0.0001911566,0.0001355181,0.0002739576,0.002634679,0.01198907],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003138299,"threshold_uncertainty_score":0.01145107,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4414955533","doi":"10.1017/s0956796825100105","title":"Choice trees: Representing and reasoning about nondeterministic, recursive, and impure programs in Rocq","year":2025,"lang":"en","type":"preprint","venue":"Journal of Functional Programming","topic":"Complex Systems and Decision Making","field":"Decision Sciences","cited_by":2,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"National Science Foundation","keywords":"Nondeterministic algorithm; Bisimulation; Concurrency; Embedding; Monad (category theory); Coinduction; HOL; Denotational semantics; Leverage (statistics)","authors":[{"name":"Nicolas Chappe","is_ca":false},{"name":"Paul He","is_ca":true},{"name":"Ludovic Henrio","is_ca":false},{"name":"Eleftherios Ioannidis","is_ca":false},{"name":"Yannick Zakowski","is_ca":false},{"name":"Steve Zdancewic","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1625735914183837,"gpt":0.398653377644027,"spread":0.2360797862256433,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004945254,0.0005834709,0.0005894984,0.0017312,0.0009256564,0.003267737,0.00193739,0.001186985,0.00256393],"category_scores_gemma":[0.009357071,0.0006820562,0.001940183,0.001533555,0.003669572,0.008219514,0.003905118,0.002287837,0.0004487853],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002106115,"about_ca_system_score_gemma":0.001444989,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01125283,"about_ca_topic_score_gemma":0.009515032,"domain_scores_codex":[0.9968249,0.001268471,0.000297646,0.000504006,0.0007214156,0.0003836139],"domain_scores_gemma":[0.9945128,0.002945386,0.0005141674,0.001076209,0.0007043638,0.000247052],"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.0001584999,0.00004284674,0.002309551,0.0001222664,0.00003947242,0.000361342,0.001376276,0.06075443,0.002639371,0.9078394,0.001394971,0.02296166],"study_design_scores_gemma":[0.00003646515,0.00004109097,0.000359323,0.00008829538,0.00005405537,0.0001112645,0.0003324356,0.3251333,0.006360791,0.6489455,0.01848482,0.00005273786],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02857248,0.0002592771,0.9664471,0.0005068477,0.0000615829,0.00007762242,0.0003730941,0.00175352,0.001948533],"genre_scores_gemma":[0.63214,0.0004455337,0.3620549,0.0003299892,0.0001183668,0.0002642429,0.0008036401,0.0005315958,0.003311736],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01125283,"threshold_uncertainty_score":0.02615327,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2015435703","doi":"10.1017/s0956796800003737","title":"Special issue on Haskell","year":2000,"lang":"en","type":"article","venue":"Journal of Functional Programming","topic":"Distributed and Parallel Computing Systems","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true},"ca_institutions":"","funders":"","keywords":"Haskell; Computer science; Functional programming; Programming language; Implementation","authors":[{"name":"Graham Hutton","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01837450198453151,"gpt":0.2374507816948828,"spread":0.2190762797103513,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00301702,0.001590251,0.001393822,0.003060549,0.002825263,0.006114198,0.00194809,0.00302405,0.2420197],"category_scores_gemma":[0.01177297,0.0005506473,0.001246096,0.002305556,0.0009798271,0.006819139,0.00414586,0.00404783,0.1372927],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001834571,"about_ca_system_score_gemma":0.002766189,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008304142,"about_ca_topic_score_gemma":0.001338448,"domain_scores_codex":[0.9962298,0.0005765617,0.0003898467,0.000589768,0.001859682,0.0003543178],"domain_scores_gemma":[0.9935607,0.001709244,0.0003035179,0.0008977535,0.002456856,0.001071866],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001738759,0.00001423893,0.0000327895,0.0001291768,0.000004292167,0.00005501587,0.00005072695,0.00004133794,0.0002472999,0.005134684,0.9579744,0.03629872],"study_design_scores_gemma":[0.000003431814,0.00001061439,0.00006567269,0.00008873668,0.0000028908,0.00009055834,0.00001847359,0.00005556718,0.00009036715,0.00236549,0.9972036,0.000004776198],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"editorial","genre_gemma":"editorial","genre_scores_codex":[0.001184152,0.03472949,0.01437056,0.07865205,0.5074822,0.0003560091,0.003027461,0.005408629,0.3547895],"genre_scores_gemma":[0.007820935,0.02590822,0.006177948,0.02015372,0.2433098,0.0003505681,0.006332282,0.005629105,0.6843174],"genre_candidate":"editorial","genre_consensus":"editorial","teacher_disagreement_score":0.2420197,"threshold_uncertainty_score":0.8096365,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2038567975","doi":"10.1017/s0956796813000087","title":"OCaml from the Very Beginning, by John Whitington, Coherent Press, 2013, £ 25.99, US $37.99. ISBN-10: 0957671105 (paperback), 204 pp.","year":2013,"lang":"en","type":"article","venue":"Journal of Functional Programming","topic":"Critical Realism in Sociology","field":"Social Sciences","cited_by":1,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Action (physics); Content (measure theory); Physics; Mathematics; Quantum mechanics","authors":[{"name":"Prabhakar Ragde","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02811315548233341,"gpt":0.2926901556055471,"spread":0.2645770001232137,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001519563,0.002152371,0.001211717,0.002487629,0.001072507,0.006228449,0.001621994,0.001864231,0.1636986],"category_scores_gemma":[0.006646948,0.00198499,0.0006510594,0.003921758,0.001698634,0.01276846,0.003166039,0.002552947,0.1223555],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001767352,"about_ca_system_score_gemma":0.002726318,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008489721,"about_ca_topic_score_gemma":0.01259445,"domain_scores_codex":[0.9989876,0.0001172072,0.0001531513,0.0002275252,0.000436983,0.00007756815],"domain_scores_gemma":[0.9980413,0.0009004313,0.0001522963,0.0002456023,0.0004973633,0.0001630358],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00006755574,0.00001663888,0.00008093101,0.001006457,0.00001203401,0.00004587322,0.0002570509,0.0002247955,0.0006336119,0.011215,0.6456552,0.340785],"study_design_scores_gemma":[0.000006901887,0.000008537083,0.0001993956,0.000695329,0.000008243084,0.0001613352,0.00009275381,0.0001835881,0.0003547938,0.004806969,0.9934705,0.00001151252],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"review","genre_gemma":"other","genre_scores_codex":[0.001743828,0.6407663,0.0524449,0.02373253,0.009054586,0.0001052561,0.005245633,0.01064954,0.2562575],"genre_scores_gemma":[0.01152469,0.282563,0.02525625,0.004083506,0.002421823,0.0002594149,0.004352768,0.01024905,0.6592894],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.1636986,"threshold_uncertainty_score":0.5476263,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"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","authors":[{"name":"Mauro Jaskelioff","is_ca":false},{"name":"Russell O’Connor","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.07853703555114158,"gpt":0.3121527780893357,"spread":0.2336157425381941,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003673087,0.0005692423,0.0007075873,0.00169611,0.00139359,0.003214675,0.001611221,0.001552387,0.00519318],"category_scores_gemma":[0.006510108,0.0004943902,0.00260993,0.001400606,0.005203811,0.008666664,0.004240556,0.003967903,0.0009957977],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002232456,"about_ca_system_score_gemma":0.0009635946,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001280152,"about_ca_topic_score_gemma":0.0005975056,"domain_scores_codex":[0.9969357,0.0006706341,0.0002106308,0.0005920101,0.001176912,0.0004141667],"domain_scores_gemma":[0.9966419,0.001469886,0.0002146215,0.0008288004,0.0007218031,0.0001231269],"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.000004429841,0.000003954332,0.0000851406,0.00001777478,0.000003706795,0.00005130697,0.0001443115,0.0005015409,0.0004153681,0.9951516,0.0004338085,0.003187044],"study_design_scores_gemma":[0.000009341588,0.00002071755,0.00009240265,0.00002383371,0.0000113133,0.0002448474,0.00006364049,0.006473541,0.001782377,0.9804614,0.01080056,0.00001597553],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03600392,0.0005013295,0.9355416,0.001532925,0.0002750874,0.00004934948,0.0002107949,0.001000261,0.0248847],"genre_scores_gemma":[0.7525643,0.0007189721,0.2264015,0.001260498,0.0004069402,0.0002107199,0.0004779428,0.0007160532,0.01724305],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00519318,"threshold_uncertainty_score":0.01942539,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3042329448","doi":"10.1017/s0956796820000179","title":"Review of “Algorithms for Functional Programming” by John David Stone, Springer-Verlag, 2018","year":2020,"lang":"en","type":"article","venue":"Journal of Functional Programming","topic":"Scheduling and Optimization Algorithms","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Action (physics); Content (measure theory); Functional programming; Artificial intelligence; Programming language; Mathematics","authors":[{"name":"Prabhakar Ragde","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03588523343688028,"gpt":0.2572712874423624,"spread":0.2213860540054821,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0030846,0.00171526,0.001376284,0.002574191,0.0006168984,0.002342719,0.001678385,0.001844758,0.01255925],"category_scores_gemma":[0.009423872,0.0007942958,0.001019426,0.003500728,0.002629441,0.005303915,0.001412981,0.004992809,0.01075117],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001921884,"about_ca_system_score_gemma":0.002153485,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002731525,"about_ca_topic_score_gemma":0.002131946,"domain_scores_codex":[0.9981861,0.0005289255,0.0001583686,0.0003735362,0.0006599257,0.00009317514],"domain_scores_gemma":[0.995697,0.002524972,0.0001415095,0.0002802751,0.001208405,0.0001478168],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00004038431,0.00003344664,0.0001351574,0.001641325,0.00006240192,0.00004474614,0.00006683388,0.004303578,0.0003618895,0.1429574,0.4685065,0.3818463],"study_design_scores_gemma":[0.00001087736,0.00002479546,0.0001979269,0.001037197,0.00002027237,0.0001913207,0.00002314096,0.002517387,0.0003050509,0.0701207,0.9255194,0.00003187851],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"review","genre_gemma":"review","genre_scores_codex":[0.0003935045,0.8176782,0.1136165,0.03018932,0.0204456,0.00003441317,0.0002839639,0.0003111075,0.01704747],"genre_scores_gemma":[0.01310622,0.8261819,0.06965982,0.010623,0.03780435,0.0001519585,0.0006980766,0.0007823471,0.04099222],"genre_candidate":"review","genre_consensus":"review","teacher_disagreement_score":0.01255925,"threshold_uncertainty_score":0.04201484,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4236518552","doi":"10.1017/s0956796815000027","title":"JFP volume 24 issue 6 Cover and Back matter","year":2014,"lang":"en","type":"paratext","venue":"Journal of Functional Programming","topic":"Diverse Scientific and Economic Studies","field":"Economics, Econometrics and Finance","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Artificial Intelligence in Medicine (Canada)","funders":"University of Cambridge; De Montfort University","keywords":"Computer science; Cover (algebra); Volume (thermodynamics); Content (measure theory); Action (physics); Data science; Information retrieval; Mechanical engineering; Mathematics; Physics","authors":[{"name":"Giuseppe Longo","is_ca":false},{"name":"A Edam","is_ca":true},{"name":"Yan Jin","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03532317975816764,"gpt":0.2115671694711731,"spread":0.1762439897130055,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0007547156,0.0008348926,0.0009057917,0.002576962,0.001711745,0.006578385,0.0009629494,0.001724137,0.8035836],"category_scores_gemma":[0.004613665,0.0002731304,0.0005358972,0.002301802,0.0006163844,0.002799598,0.002051498,0.001859234,0.7248784],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001467324,"about_ca_system_score_gemma":0.001634914,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001555706,"about_ca_topic_score_gemma":0.002153009,"domain_scores_codex":[0.9991456,0.00006394677,0.0000380356,0.0001385452,0.0005113436,0.0001025302],"domain_scores_gemma":[0.9976662,0.0002928045,0.0001105827,0.0002556225,0.001093594,0.000581198],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001704595,0.00002011388,0.00007046938,0.00008829404,0.000002288573,0.00002393526,0.000009406442,0.00003103841,0.0001258533,0.001246485,0.9625311,0.03583395],"study_design_scores_gemma":[0.000004259837,0.000008500923,0.0002636006,0.00008604211,0.000001475112,0.00003499981,0.00001830493,0.00005550694,0.00009404197,0.0006429033,0.9987878,0.000002472848],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0008016763,0.003289502,0.0006941349,0.007164041,0.04407701,0.00009407232,0.003291317,0.001187161,0.939401],"genre_scores_gemma":[0.002438482,0.001559044,0.0002439725,0.001348052,0.005867347,0.00002965508,0.001511819,0.0005091401,0.9864925],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.1964164,"threshold_uncertainty_score":0.2801641,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2158277676","doi":"10.1017/s0956796807006260","title":"SMIL 2.0 Interactive Multimedia for Web and Mobile Devices by C. A. Dick Bulterman and Lloyd Rutledge, Springer X.media.publishing, 2004, 440pp, ISBN 3-540-20234-X","year":2007,"lang":"en","type":"article","venue":"Journal of Functional Programming","topic":"Multimedia Communication and Technology","field":"Social Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Manitoba","funders":"","keywords":"Computer science; Multimedia; Publishing; World Wide Web; Interactive media; Action (physics); Mobile device; Computer graphics (images); Art","authors":[{"name":"Peter R. King","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02415732403815813,"gpt":0.3204166327895847,"spread":0.2962593087514266,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001146156,0.002290148,0.0008906263,0.001982042,0.0004479038,0.002383543,0.001334321,0.001006871,0.09834839],"category_scores_gemma":[0.001624709,0.001079789,0.0007679102,0.001388792,0.0007131296,0.00430047,0.001771589,0.001870365,0.04971682],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00049642,"about_ca_system_score_gemma":0.0007728147,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002024148,"about_ca_topic_score_gemma":0.003608956,"domain_scores_codex":[0.9995598,0.00009289346,0.00002537217,0.00006629382,0.0002220511,0.00003352901],"domain_scores_gemma":[0.9995159,0.0002287042,0.00002319417,0.00004166379,0.0001315982,0.00005900057],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001214674,0.00004150204,0.0001359981,0.0008574089,0.00002582951,0.0001056213,0.0002350752,0.0009429911,0.005039087,0.009311405,0.5586367,0.4245468],"study_design_scores_gemma":[0.00002629872,0.0000647731,0.0008842071,0.0003803523,0.00003327166,0.0005636213,0.0000970574,0.005301275,0.003988695,0.005139013,0.9834631,0.00005836903],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"review","genre_scores_codex":[0.004501644,0.1311609,0.6248124,0.006512326,0.005138466,0.0006677101,0.005998126,0.04997259,0.1712359],"genre_scores_gemma":[0.02490895,0.07996719,0.1958701,0.00159962,0.001840405,0.0009414977,0.00796506,0.0150342,0.671873],"genre_candidate":"review","genre_consensus":null,"teacher_disagreement_score":0.09834839,"threshold_uncertainty_score":0.3290082,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2172214464","doi":"10.1017/s0956796810000250","title":"Special Issue Dedicated to ICFP 2008 Editorial","year":2010,"lang":"en","type":"article","venue":"Journal of Functional Programming","topic":"Scheduling and Optimization Algorithms","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true},"ca_institutions":"","funders":"","keywords":"Scope (computer science); Computer science; Library science; Cover (algebra); Operations research; Data science; Programming language","authors":[{"name":"Peter Thiemann","is_ca":false},{"name":"Henrik Nilsson","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.007906516086205687,"gpt":0.2235411963555159,"spread":0.2156346802693102,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004528006,0.002694265,0.002345231,0.005032316,0.002222178,0.007412828,0.001919506,0.006418894,0.06253412],"category_scores_gemma":[0.01731836,0.0006282101,0.001714237,0.001498507,0.001340727,0.003533548,0.001409823,0.007026952,0.03675449],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003268505,"about_ca_system_score_gemma":0.003440356,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001292828,"about_ca_topic_score_gemma":0.001935927,"domain_scores_codex":[0.9963745,0.0003595827,0.0003972656,0.0006210624,0.001885561,0.000361888],"domain_scores_gemma":[0.9733926,0.003406483,0.001207048,0.0007615334,0.0173222,0.003910179],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00003699803,0.00001349363,0.00003070516,0.0001521756,0.000005465527,0.00008555265,0.000009773797,0.00004545249,0.000151443,0.0004658074,0.9838097,0.01519344],"study_design_scores_gemma":[0.0000176911,0.00003822656,0.0002011652,0.0002331849,0.00001283837,0.0002847427,0.00002201082,0.0001467918,0.0002179907,0.0007962708,0.9980173,0.0000117547],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"editorial","genre_gemma":"editorial","genre_scores_codex":[0.0001334211,0.00410398,0.0005415293,0.01762781,0.9696674,0.00005036889,0.0001382932,0.000172846,0.007564386],"genre_scores_gemma":[0.001508776,0.004431974,0.0004113514,0.006875156,0.9469417,0.00005711395,0.0001795927,0.0002003914,0.03939395],"genre_candidate":"editorial","genre_consensus":"editorial","teacher_disagreement_score":0.06253412,"threshold_uncertainty_score":0.2091975,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4244321449","doi":"10.1017/s0956796814000148","title":"JFP volume 24 issue 2-3 Cover and Back matter","year":2014,"lang":"en","type":"paratext","venue":"Journal of Functional Programming","topic":"Diverse Scientific and Economic Studies","field":"Economics, Econometrics and Finance","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Artificial Intelligence in Medicine (Canada)","funders":"","keywords":"Computer science; Cover (algebra); Volume (thermodynamics); Content (measure theory); Action (physics); Information retrieval; Data science; Physics; Mathematics; Mechanical engineering","authors":[{"name":"A Edam","is_ca":true},{"name":"Yan Jin","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03529181957938049,"gpt":0.2116999839248436,"spread":0.1764081643454631,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.001087299,0.0009519863,0.0009310038,0.003038121,0.002273486,0.009550261,0.001108494,0.002164773,0.7647799],"category_scores_gemma":[0.006455463,0.0003218315,0.0006922029,0.00256119,0.0008413855,0.003830855,0.002455652,0.002551825,0.6897377],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00216532,"about_ca_system_score_gemma":0.002169146,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002026892,"about_ca_topic_score_gemma":0.002689712,"domain_scores_codex":[0.9986613,0.00009310142,0.00005799297,0.000188372,0.0008461369,0.0001531935],"domain_scores_gemma":[0.9960527,0.0004618784,0.0001604623,0.0004673717,0.001928956,0.0009286312],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001426075,0.00002067812,0.00006886668,0.00008208783,0.000002090652,0.00002042731,0.00001015027,0.00002655966,0.0001177708,0.001320431,0.9690205,0.02929622],"study_design_scores_gemma":[0.000004197176,0.000008505739,0.0002696479,0.00009100528,0.000001475815,0.00003349356,0.00002223459,0.00004875911,0.00009185042,0.0007552748,0.9986706,0.000002985533],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0007680001,0.003546849,0.0009174667,0.01103117,0.07115503,0.0001227695,0.003444195,0.001448709,0.9075658],"genre_scores_gemma":[0.002959849,0.001962355,0.0003784694,0.002486202,0.01021477,0.00005027136,0.001790258,0.0009022193,0.9792556],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.2352201,"threshold_uncertainty_score":0.3355129,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4405259879","doi":"10.1017/s095679682400011x","title":"An example of goal-directed, calculational proof","year":2024,"lang":"en","type":"article","venue":"Journal of Functional Programming","topic":"Algorithms and Data Compression","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Brock University","funders":"","keywords":"Computer science; Proof of concept; Programming language","authors":[{"name":"Roland Backhouse","is_ca":false},{"name":"Walter Guttmann","is_ca":false},{"name":"Michael Winter","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0351478444025809,"gpt":0.277750935814294,"spread":0.2426030914117131,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002394737,0.0005385369,0.0003595916,0.001424463,0.001982753,0.002580613,0.001851344,0.001075926,0.01755272],"category_scores_gemma":[0.007314433,0.0004020371,0.001075701,0.001260853,0.002573619,0.002623733,0.003119675,0.00162293,0.002910704],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001390899,"about_ca_system_score_gemma":0.001588551,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002911749,"about_ca_topic_score_gemma":0.004132302,"domain_scores_codex":[0.9979956,0.0008295538,0.0001159233,0.0001865913,0.0006851398,0.0001872739],"domain_scores_gemma":[0.9956519,0.002698896,0.00009861808,0.0007266896,0.0006674714,0.0001564359],"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.00004384969,0.00007877311,0.0001827733,0.000206198,0.00001573645,0.0003711942,0.000417677,0.004205899,0.002256247,0.9557199,0.009646792,0.02685505],"study_design_scores_gemma":[0.00008464042,0.00003446831,0.0001646211,0.00009289277,0.00002377471,0.0002444007,0.0001734046,0.03702591,0.005713431,0.8359526,0.1204579,0.00003193865],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009467951,0.0002515614,0.8872389,0.002955283,0.0002318164,0.0003300323,0.0004760535,0.004389029,0.09465934],"genre_scores_gemma":[0.2406827,0.0003608808,0.7372251,0.0007151098,0.00008457527,0.0003359066,0.0006994569,0.001040722,0.01885551],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01755272,"threshold_uncertainty_score":0.05871975,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4405809911","doi":"10.1017/s0956796824000121","title":"A simple blame calculus for explicit nulls","year":2024,"lang":"en","type":"article","venue":"Journal of Functional Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Blame; Computer science; Type (biology); Calculus (dental); Function (biology); Simple (philosophy); Programming language; Null (SQL); Algebra over a field; Mathematics; Pure mathematics; Philosophy; Epistemology","authors":[{"name":"Ondřej Lhoták","is_ca":true},{"name":"Philip Wadler","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03697686058846159,"gpt":0.2798679575272404,"spread":0.2428910969387788,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003558035,0.0005411457,0.0007719639,0.001473756,0.00270254,0.003444302,0.001961291,0.001752132,0.005216972],"category_scores_gemma":[0.006059817,0.0007943636,0.001619347,0.0008578222,0.007077645,0.008416252,0.004539563,0.003743857,0.001141107],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002427338,"about_ca_system_score_gemma":0.00174319,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003191846,"about_ca_topic_score_gemma":0.00300478,"domain_scores_codex":[0.9976596,0.0004100879,0.0001245814,0.0003574634,0.001116135,0.000332099],"domain_scores_gemma":[0.9974194,0.0008412575,0.0001665838,0.0006708667,0.0006848284,0.000217065],"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.000008230253,0.000007318715,0.00008191216,0.000009095372,0.00000247496,0.00007528777,0.000167948,0.0004943795,0.0004065755,0.9971007,0.0005190504,0.001127056],"study_design_scores_gemma":[0.00002385269,0.00001686017,0.0001227368,0.00002945577,0.00001781443,0.0001547044,0.00009794294,0.01217002,0.001311806,0.9590441,0.02697324,0.0000374644],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05572049,0.0007183246,0.8759553,0.002805714,0.0006198933,0.0001025399,0.0002569605,0.002194722,0.06162602],"genre_scores_gemma":[0.7627281,0.0004871806,0.1896147,0.001322854,0.0005630097,0.0002020859,0.0001964459,0.0009609925,0.04392465],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005216972,"threshold_uncertainty_score":0.01881695,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1998690205","doi":"10.1017/s0956796800003890","title":"Special issue on Semantics, Applications, and Implementation of Program Generation","year":2000,"lang":"en","type":"article","venue":"Journal of Functional Programming","topic":"Distributed and Parallel Computing Systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true},"ca_institutions":"","funders":"","keywords":"Computer science; Compiler; Context (archaeology); Implementation; Semantics (computer science); Theme (computing); Relevance (law); Programming language; Software engineering; Program transformation; World Wide Web","authors":[{"name":"Walid Taha","is_ca":false},{"name":"Peter Wadler","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02157977245242998,"gpt":0.2926895793159914,"spread":0.2711098068635614,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003603913,0.001414087,0.001413251,0.002411405,0.002231772,0.009289023,0.002134808,0.003167412,0.1722664],"category_scores_gemma":[0.01115198,0.0007623273,0.001414886,0.002389349,0.001601991,0.008035163,0.003062757,0.004448707,0.07124463],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002188763,"about_ca_system_score_gemma":0.003133113,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001486116,"about_ca_topic_score_gemma":0.001838719,"domain_scores_codex":[0.9967965,0.0005325754,0.000349758,0.0005562463,0.001504803,0.0002601049],"domain_scores_gemma":[0.9928463,0.002106107,0.000372845,0.0009471514,0.002712095,0.001015541],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00003204341,0.00003375852,0.00006912466,0.0002734687,0.000009339476,0.00005669708,0.00009961443,0.0001711073,0.0004164105,0.0199143,0.9362491,0.0426751],"study_design_scores_gemma":[0.000006732495,0.00001676649,0.0001069252,0.0001094505,0.000004921987,0.00006053666,0.00003150833,0.0001976473,0.000123219,0.00662239,0.9927137,0.00000612209],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"editorial","genre_gemma":"editorial","genre_scores_codex":[0.001102818,0.02398543,0.02937404,0.05647609,0.5692616,0.0004242038,0.001707259,0.002928989,0.3147396],"genre_scores_gemma":[0.007815743,0.02399288,0.009697493,0.009814723,0.2612202,0.0003502668,0.003256353,0.003476285,0.6803761],"genre_candidate":"editorial","genre_consensus":"editorial","teacher_disagreement_score":0.1722664,"threshold_uncertainty_score":0.5762886,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}