{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":3,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":3,"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":"ae37a8753028","filters":{"venue":"Texts in theoretical computer science"}},"results":[{"id":"W1520950860","doi":"10.1007/978-3-662-04943-3","title":"Boolean Functions and Computation Models","year":2002,"lang":"en","type":"book","venue":"Texts in theoretical computer science","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":110,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Carleton University","funders":"","keywords":"Computer science; Computation; Boolean function; Theoretical computer science; Algorithm","authors":[{"name":"Peter Clote","is_ca":false},{"name":"Evangelos Kranakis","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01847183979169236,"gpt":0.24875104320274,"spread":0.2302792034110476,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003440708,0.001299372,0.0009838571,0.001276826,0.001180793,0.003784638,0.001022664,0.0009259414,0.0245478],"category_scores_gemma":[0.001077451,0.0005127784,0.0007040604,0.00278967,0.002829513,0.007359134,0.0007771616,0.002574352,0.005385594],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002680233,"about_ca_system_score_gemma":0.001242337,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002359113,"about_ca_topic_score_gemma":0.002412304,"domain_scores_codex":[0.9997253,0.00005720034,0.00001210285,0.00005522038,0.0001222496,0.00002787286],"domain_scores_gemma":[0.9996936,0.0001720407,0.00001359703,0.00005468582,0.00004550867,0.00002061487],"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.000003516167,0.000007799918,0.00001127241,0.00003660567,0.000002138813,0.000007942811,0.00005792265,0.0004212793,0.00007821553,0.9724478,0.01585678,0.01106878],"study_design_scores_gemma":[0.00000391576,0.000003782956,0.0000293851,0.00003285879,0.000003989505,0.0000252969,0.00002620281,0.001005797,0.00008334139,0.9246606,0.07412153,0.000003337559],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.004789965,0.03544634,0.09155139,0.008056113,0.001438644,0.00006737935,0.0005566136,0.0004591898,0.8576343],"genre_scores_gemma":[0.2171521,0.04268403,0.03832337,0.00277238,0.003363771,0.0005200511,0.00173514,0.0005083666,0.6929408],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.0245478,"threshold_uncertainty_score":0.08212054,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2277411487","doi":"10.1007/978-3-662-04943-3_5","title":"Propositional Proof Systems","year":2002,"lang":"en","type":"book-chapter","venue":"Texts in theoretical computer science","topic":"Logic, programming, and type systems","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":"Carleton University","funders":"","keywords":"Computer science","authors":[{"name":"Peter Clote","is_ca":false},{"name":"Evangelos Kranakis","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.017701094077096,"gpt":0.2372339309341614,"spread":0.2195328368570654,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009725736,0.0008129075,0.0005549129,0.001384159,0.001309507,0.004748128,0.001147691,0.0009766909,0.04607282],"category_scores_gemma":[0.002823879,0.0006765282,0.0005549703,0.001510976,0.002129078,0.005269238,0.001501548,0.003298147,0.01193587],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001962376,"about_ca_system_score_gemma":0.001118835,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008472783,"about_ca_topic_score_gemma":0.0009863798,"domain_scores_codex":[0.9992641,0.0002128937,0.00004463856,0.0001377991,0.0002848425,0.00005572896],"domain_scores_gemma":[0.9990289,0.0005094502,0.00003576099,0.0001895409,0.0001955199,0.00004085895],"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.000007182251,0.00001322862,0.00003331415,0.0000684027,0.000005581452,0.00001432623,0.0001269364,0.0002559128,0.0001940441,0.9387513,0.02664852,0.03388122],"study_design_scores_gemma":[0.00001164466,0.000005570695,0.00006240908,0.00006935927,0.000007549264,0.0000531247,0.00003646624,0.001022361,0.0004690497,0.809259,0.1889983,0.00000519829],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.002979119,0.01233828,0.2478535,0.005549736,0.0009498604,0.0001055669,0.001154396,0.001928481,0.7271411],"genre_scores_gemma":[0.2431644,0.01724718,0.1619183,0.003098525,0.001678795,0.0004108123,0.003937796,0.001308732,0.5672355],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.04607282,"threshold_uncertainty_score":0.1541289,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W645248096","doi":"10.1007/978-3-662-04943-3_6","title":"Machine Models and Function Algebras","year":2002,"lang":"en","type":"book-chapter","venue":"Texts in theoretical computer science","topic":"Simulation Techniques and Applications","field":"Decision Sciences","cited_by":0,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Carleton University","funders":"","keywords":"Function (biology); Computer science; Biology","authors":[{"name":"Peter Clote","is_ca":false},{"name":"Evangelos Kranakis","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06804399895383646,"gpt":0.3392554619473617,"spread":0.2712114629935252,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003893236,0.001186658,0.00103197,0.001111969,0.0008636062,0.002379947,0.0008139668,0.001090455,0.02204773],"category_scores_gemma":[0.001083753,0.0004502959,0.0005990606,0.001893987,0.001876586,0.005029115,0.0006968845,0.002212445,0.005902473],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001369884,"about_ca_system_score_gemma":0.0006416081,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00102136,"about_ca_topic_score_gemma":0.001085868,"domain_scores_codex":[0.9997498,0.00006810214,0.00000991341,0.00004890602,0.0001015027,0.00002172295],"domain_scores_gemma":[0.999714,0.00016219,0.00001326171,0.00005596431,0.00004192345,0.00001263141],"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.000002562999,0.000007301473,0.00001560016,0.00003694278,0.0000032431,0.000009668416,0.00006307053,0.001050932,0.0001084517,0.9678534,0.01441137,0.01643743],"study_design_scores_gemma":[0.000001930773,0.000003998771,0.00003107871,0.00002539942,0.000002950739,0.00002991197,0.00001599915,0.002468772,0.0001331104,0.9289184,0.06836451,0.000003938281],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.006173492,0.03378252,0.3203997,0.007052394,0.001689775,0.00004925858,0.0005479275,0.0009277082,0.6293772],"genre_scores_gemma":[0.2413387,0.02763197,0.06803323,0.002214542,0.002963292,0.0003036441,0.001224514,0.0006181767,0.655672],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.02204773,"threshold_uncertainty_score":0.07375699,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}