{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":5,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":5,"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":"87d4c8336af1","filters":{"venue":"LISP and Symbolic Computation"}},"results":[{"id":"W1931248855","doi":"10.1023/a:1010022312623","title":"Abstract Models of Storage","year":2000,"lang":"en","type":"article","venue":"LISP and Symbolic Computation","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Linguistics; Epistemology; Philosophy","authors":[{"name":"R. D. Tennent","is_ca":true},{"name":"Dan R. Ghica","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02211111425462539,"gpt":0.2477722689783965,"spread":0.2256611547237711,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008797164,0.0007991075,0.0008442743,0.001096666,0.001845401,0.008805705,0.001768342,0.002041042,0.01992787],"category_scores_gemma":[0.003028834,0.0005762604,0.0009079644,0.002080493,0.004998351,0.01268975,0.002301504,0.002484938,0.002381939],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003074311,"about_ca_system_score_gemma":0.001612174,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002823632,"about_ca_topic_score_gemma":0.002456989,"domain_scores_codex":[0.9990225,0.0003093948,0.0000604278,0.0001930572,0.0002501257,0.000164583],"domain_scores_gemma":[0.9979798,0.0006880129,0.0001482726,0.0006803459,0.0003158945,0.0001876899],"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.000008179278,0.000003219398,0.00002508037,0.000009175273,0.000002069197,0.0000166785,0.00005600663,0.001505955,0.00008317187,0.9968812,0.0006295419,0.000779746],"study_design_scores_gemma":[0.00000882521,0.000003978145,0.00001568881,0.000009007153,0.00000405143,0.00002295094,0.00004787568,0.007968578,0.0001777181,0.9863284,0.005408799,0.000004044254],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.08238481,0.003198608,0.5570365,0.01251208,0.0004457296,0.00009749599,0.001677363,0.002782682,0.3398648],"genre_scores_gemma":[0.8977278,0.0016282,0.03939025,0.000608662,0.0003330616,0.0002079909,0.0008889149,0.000310755,0.0589044],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01992787,"threshold_uncertainty_score":0.06666535,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2053771722","doi":"10.1007/s10990-005-7006-5","title":"Least Reflexive Points of Relations","year":2005,"lang":"en","type":"article","venue":"LISP and Symbolic Computation","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université Laval","funders":"","keywords":"Mathematics; Nondeterministic algorithm; Reflexivity; Generalization; Complete lattice; Algebraic number; Partially ordered set; Binary relation; Pure mathematics; Lattice (music); Fixed point; Discrete mathematics; Combinatorics; Mathematical analysis; Universality (dynamical systems)","authors":[{"name":"Jules Desharnais","is_ca":true},{"name":"Bernhard Möller","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01226304771391825,"gpt":0.27104388238119,"spread":0.2587808346672718,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001578589,0.0008925156,0.001211657,0.002404604,0.002702763,0.004826647,0.001484503,0.001582974,0.01573947],"category_scores_gemma":[0.00550343,0.001188402,0.001112615,0.001948971,0.004205234,0.009510471,0.003045034,0.005217898,0.005379884],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001088011,"about_ca_system_score_gemma":0.000814896,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005971763,"about_ca_topic_score_gemma":0.0007843733,"domain_scores_codex":[0.9979392,0.0004374651,0.0001651555,0.0004738099,0.000687256,0.0002971228],"domain_scores_gemma":[0.9958264,0.002059192,0.0002602609,0.000825571,0.0007644354,0.0002641982],"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.0001283385,0.00002288358,0.0001405032,0.00006723269,0.00001637143,0.000114675,0.0006476022,0.0002656858,0.002845435,0.9823387,0.001317021,0.01209553],"study_design_scores_gemma":[0.00004903712,0.00003346756,0.0001380206,0.0000303953,0.00002685701,0.0002136333,0.0002077724,0.0008492117,0.006514868,0.9815694,0.01034838,0.00001889926],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1541647,0.001681873,0.6230549,0.002036965,0.0004353427,0.0001839786,0.001352822,0.002915124,0.2141742],"genre_scores_gemma":[0.7730012,0.001220283,0.1508512,0.0005441541,0.000596559,0.0002283816,0.001595449,0.001004532,0.07095826],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01573947,"threshold_uncertainty_score":0.05265379,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2010112143","doi":"10.1007/s10990-005-4877-4","title":"BIT: A Very Compact Scheme System for Microcontrollers","year":2005,"lang":"en","type":"article","venue":"LISP and Symbolic Computation","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Université de Montréal; Université Laval","funders":"Natural Sciences and Engineering Research Council of Canada; Université Laval","keywords":"Microcontroller; Scheme (mathematics); Bit (key); Computer science; Arithmetic; Computer hardware; Embedded system; Mathematics; Computer network","authors":[{"name":"Danny Dubé","is_ca":true},{"name":"Marc Feeley","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01446104556126964,"gpt":0.2639002782903432,"spread":0.2494392327290735,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005264791,0.0007442569,0.0008246719,0.0009348397,0.0005827672,0.001400444,0.001796905,0.000688758,0.02927097],"category_scores_gemma":[0.002533048,0.0005403506,0.000302961,0.00116107,0.000508725,0.002992196,0.001531839,0.001096905,0.01003965],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005193177,"about_ca_system_score_gemma":0.0006764579,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004309844,"about_ca_topic_score_gemma":0.0005608783,"domain_scores_codex":[0.9993072,0.0001501756,0.00006689135,0.00006086021,0.0003414888,0.00007335915],"domain_scores_gemma":[0.9989736,0.0002548468,0.00006958804,0.0003275508,0.0002850107,0.00008946904],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.003659932,0.000130498,0.001470094,0.001359912,0.0001182844,0.0002927787,0.0005995817,0.009389915,0.1433198,0.1505511,0.09758303,0.5915251],"study_design_scores_gemma":[0.0008958051,0.001657433,0.001753549,0.0003327149,0.0003715783,0.001731467,0.0001987456,0.134296,0.2669429,0.09108543,0.5004513,0.000283077],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.02024037,0.001223532,0.9216663,0.0003104963,0.0004268355,0.0002310687,0.001297046,0.03894386,0.01566055],"genre_scores_gemma":[0.3733242,0.001311333,0.5552245,0.0006656204,0.000255292,0.0008142487,0.003782651,0.007884094,0.05673811],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.02927097,"threshold_uncertainty_score":0.09792119,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1482787054","doi":"10.1023/a:1010010009897","title":"From Language Concepts to Implementation Concepts","year":2000,"lang":"en","type":"article","venue":"LISP and Symbolic Computation","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Nortel (Canada)","funders":"","keywords":"Programming language; Correctness; Computer science; Equivalence (formal languages); Linguistics; Philosophy","authors":[{"name":"Robert Milne","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01092112397627551,"gpt":0.3389448896196716,"spread":0.328023765643396,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003036286,0.001269655,0.0009687957,0.002938266,0.001843708,0.008479187,0.002468444,0.003270028,0.007980437],"category_scores_gemma":[0.00759029,0.00127887,0.001210922,0.002839022,0.02077787,0.02433492,0.003406201,0.008459159,0.001531453],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003011121,"about_ca_system_score_gemma":0.001863293,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001936017,"about_ca_topic_score_gemma":0.001054927,"domain_scores_codex":[0.9974239,0.001329783,0.0001819968,0.0003689193,0.0004539459,0.0002414367],"domain_scores_gemma":[0.9954418,0.003146367,0.0002291341,0.0005068329,0.0004675275,0.0002083285],"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.000002923502,0.00000356591,0.00001870918,0.00003991343,0.000002191493,0.00001603317,0.0002488858,0.0002165653,0.00007213307,0.9965357,0.0004907793,0.002352603],"study_design_scores_gemma":[0.000005755272,0.000005336917,0.00002437676,0.00004131035,0.000004314094,0.00003156874,0.0001338661,0.001069829,0.0001902902,0.9877835,0.0107042,0.000005703327],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01292081,0.0123728,0.8711405,0.01681173,0.001015353,0.00006161154,0.0001890433,0.0006707571,0.08481753],"genre_scores_gemma":[0.5618748,0.013606,0.3908702,0.00505727,0.002641128,0.0007167928,0.0003969726,0.0009850798,0.02385167],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008479187,"threshold_uncertainty_score":0.02669722,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2086737876","doi":"10.1007/s10990-010-9056-6","title":"An introduction to Landin’s “Getting Rid of Labels”","year":2009,"lang":"en","type":"article","venue":"LISP and Symbolic Computation","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Queen's University","funders":"","keywords":"Volume (thermodynamics); Art; History; Computer science; Advertising; Business; Physics","authors":[{"name":"R. D. Tennent","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01222945550472591,"gpt":0.2638016603207344,"spread":0.2515722048160085,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002651378,0.001192078,0.001330143,0.003096295,0.003637737,0.00572118,0.002153986,0.003172644,0.01573495],"category_scores_gemma":[0.00961095,0.0009618046,0.00132636,0.003910397,0.01601819,0.01676489,0.003785003,0.009948899,0.008251236],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004274743,"about_ca_system_score_gemma":0.002538976,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005470912,"about_ca_topic_score_gemma":0.007563467,"domain_scores_codex":[0.9975677,0.001099211,0.0001633157,0.0004180756,0.0005861207,0.0001656751],"domain_scores_gemma":[0.9958104,0.002904608,0.0001251086,0.0005114841,0.0005102602,0.0001382273],"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.00001059988,0.00001082682,0.0000581409,0.0001002308,0.000004880117,0.00002691408,0.0004426416,0.0002144083,0.00009904562,0.9260268,0.04922432,0.02378121],"study_design_scores_gemma":[0.000005765742,0.000006529866,0.00004252715,0.0001079385,0.000004995061,0.00005778328,0.00009054576,0.0006305612,0.0002356661,0.6544584,0.3443378,0.00002139744],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"commentary","genre_scores_codex":[0.002046433,0.04990285,0.5800869,0.1012571,0.01662264,0.0001061759,0.000636878,0.00274365,0.2465974],"genre_scores_gemma":[0.1178202,0.06042495,0.5132513,0.05783216,0.02338808,0.0006564965,0.0008238316,0.003911173,0.2218918],"genre_candidate":"commentary","genre_consensus":null,"teacher_disagreement_score":0.01573495,"threshold_uncertainty_score":0.05263865,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}