{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":4,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":4,"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":"4d5365ba49a5","filters":{"venue":"Synthesis lectures on digital circuits and systems"}},"results":[{"id":"W2069313594","doi":"10.2200/s00065ed1v01y200709dcs012","title":"Multiple Valued Logic: Concepts and Representations","year":2007,"lang":"en","type":"article","venue":"Synthesis lectures on digital circuits and systems","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":136,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Victoria","funders":"","keywords":"Computer science; Epistemology; Philosophy","authors":[{"name":"D. Michael Miller","is_ca":true},{"name":"Mitchell A. Thornton","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04580731866763565,"gpt":0.3125782211352746,"spread":0.266770902467639,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001092712,0.001379008,0.0009320927,0.002049456,0.0009459677,0.005417524,0.001198196,0.00139083,0.005778498],"category_scores_gemma":[0.001786461,0.0007396864,0.001041551,0.003561515,0.003157854,0.006314864,0.001274103,0.004117816,0.001611304],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002302348,"about_ca_system_score_gemma":0.0009378599,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007216299,"about_ca_topic_score_gemma":0.0006334169,"domain_scores_codex":[0.9992062,0.0001918606,0.00006294777,0.0001769815,0.0002964881,0.00006558993],"domain_scores_gemma":[0.9995019,0.000264666,0.00005985945,0.00005714667,0.00008478794,0.00003154046],"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.000005441683,0.000006871025,0.00002390483,0.00007106047,0.000004305165,0.00002231833,0.00009109043,0.0007907609,0.000419878,0.981122,0.002420027,0.01502221],"study_design_scores_gemma":[0.00000462895,0.000009049502,0.00003783802,0.00005870543,0.000007235908,0.00007088394,0.00003716298,0.003164614,0.0003339204,0.9689539,0.0273139,0.000008088244],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01200534,0.05155139,0.8042892,0.005810229,0.001758476,0.00006752973,0.0005487158,0.0005013621,0.1234678],"genre_scores_gemma":[0.4977111,0.04646152,0.3746425,0.002312991,0.004073834,0.000518184,0.001004698,0.0003782969,0.07289689],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005778498,"threshold_uncertainty_score":0.01933098,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4300449791","doi":"10.1007/978-3-031-79779-8_4","title":"Reversible and Quantum Circuits","year":2008,"lang":"en","type":"book-chapter","venue":"Synthesis lectures on digital circuits and systems","topic":"Quantum Computing Algorithms and Architecture","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":"University of Victoria","funders":"","keywords":"Electronic circuit; Quantum computer; Reversible computing; Quantum; Dissipation; Computation; Erasure; Computer science; Adiabatic circuit; CMOS; Energy consumption; Electronic engineering; Physics; Quantum mechanics; Algorithm; Electrical engineering; Pass transistor logic; Engineering; Digital electronics","authors":[{"name":"Michael Miller","is_ca":true},{"name":"Mitchell A. Thornton","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02043806779516485,"gpt":0.204274436008591,"spread":0.1838363682134261,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003524772,0.000991122,0.0007055935,0.001072469,0.001304322,0.002004404,0.0007861456,0.001152325,0.03923585],"category_scores_gemma":[0.0007969376,0.0005673663,0.0003644436,0.001295528,0.003013348,0.002957872,0.001008084,0.002498486,0.007719031],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002870686,"about_ca_system_score_gemma":0.001152445,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00140928,"about_ca_topic_score_gemma":0.002805938,"domain_scores_codex":[0.9996585,0.00006055236,0.000008855211,0.00006316249,0.0001722187,0.00003676499],"domain_scores_gemma":[0.9998504,0.00006400213,0.000007916662,0.00003647796,0.00002886728,0.00001242286],"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.000006896814,0.00001575496,0.00001498671,0.00009514741,0.000004818441,0.0000128387,0.00009282736,0.0006446344,0.0006126881,0.9184816,0.04089651,0.03912142],"study_design_scores_gemma":[0.000007987278,0.00001652752,0.00007514829,0.00009001092,0.000006324473,0.00004866954,0.00004020799,0.001018347,0.001463201,0.5250131,0.4722086,0.0000117769],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.002055065,0.03322806,0.02352864,0.004513257,0.002507683,0.00006327473,0.0001616196,0.0002548878,0.9336876],"genre_scores_gemma":[0.06963035,0.02466973,0.009387952,0.001679285,0.002060405,0.0001431472,0.0001628294,0.0002467428,0.8920196],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.03923585,"threshold_uncertainty_score":0.1312571,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4301405716","doi":"10.1007/978-3-031-79855-9_4","title":"MRF Models of Logic Gates","year":2013,"lang":"en","type":"book-chapter","venue":"Synthesis lectures on digital circuits and systems","topic":"Formal Methods in Verification","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":"University of Calgary","funders":"","keywords":"Truth table; Probabilistic logic; Computer science; Algorithm; Theoretical computer science; Mathematics; Artificial intelligence","authors":[{"name":"Svetlana Yanushkevich","is_ca":true},{"name":"G. Tangim","is_ca":true},{"name":"A.H. Tran","is_ca":true},{"name":"T. Mohamed","is_ca":true},{"name":"V.P. Shmerko","is_ca":true},{"name":"S. Kasai","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.05397718771594808,"gpt":0.2404749293596585,"spread":0.1864977416437104,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005169262,0.001172778,0.0007055175,0.00113498,0.0005658261,0.00239442,0.001576744,0.001235187,0.01354012],"category_scores_gemma":[0.00142098,0.0006257927,0.00108986,0.000972341,0.001978505,0.003626684,0.0006642652,0.00241419,0.002734723],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002264438,"about_ca_system_score_gemma":0.0005641564,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002154703,"about_ca_topic_score_gemma":0.002027472,"domain_scores_codex":[0.9995202,0.0001172174,0.00002441896,0.00009462679,0.0001807082,0.00006281425],"domain_scores_gemma":[0.9995778,0.0001979781,0.00003507184,0.00008876465,0.00007719056,0.00002324552],"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.000004813448,0.000003504995,0.00001052879,0.00002135744,0.000002174324,0.00001706861,0.00004403342,0.002564405,0.0003560632,0.9900703,0.001413328,0.005492344],"study_design_scores_gemma":[0.000006338274,0.000005881645,0.00002069717,0.00002177144,0.000003104397,0.00003543424,0.0000149869,0.009894412,0.0004098506,0.9690138,0.02056751,0.000006094907],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01406436,0.006015615,0.5880264,0.002421684,0.0004771909,0.00007042674,0.0006587206,0.0008730084,0.3873926],"genre_scores_gemma":[0.6149333,0.007557368,0.2017178,0.001016956,0.0009900313,0.0003479893,0.001550285,0.0006449427,0.1712413],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01354012,"threshold_uncertainty_score":0.04529619,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4299796245","doi":"10.1007/978-3-031-79855-9_6","title":"Noise-tolerance via error correcting","year":2013,"lang":"en","type":"book-chapter","venue":"Synthesis lectures on digital circuits and systems","topic":"Probabilistic and Robust Engineering Design","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":"University of Calgary","funders":"","keywords":"Noise (video); Computer science; Artificial intelligence","authors":[{"name":"Svetlana Yanushkevich","is_ca":true},{"name":"G. Tangim","is_ca":true},{"name":"A.H. Tran","is_ca":true},{"name":"T. Mohamed","is_ca":true},{"name":"V.P. Shmerko","is_ca":true},{"name":"S. Kasai","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.07416403201413696,"gpt":0.2685771478972606,"spread":0.1944131158831236,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004412056,0.001420826,0.0008185386,0.0009135459,0.000405949,0.001356113,0.001054515,0.0009108728,0.005906834],"category_scores_gemma":[0.001748551,0.000532299,0.0004302705,0.00108669,0.001440673,0.001474316,0.00151546,0.001955743,0.002248533],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000772937,"about_ca_system_score_gemma":0.0003855966,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004575111,"about_ca_topic_score_gemma":0.0003765162,"domain_scores_codex":[0.9993122,0.00008351037,0.00002852426,0.0001223053,0.0003995506,0.00005405545],"domain_scores_gemma":[0.9995366,0.0001939225,0.00004605035,0.0001155603,0.0000953537,0.00001263664],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00008747681,0.00003483216,0.000127851,0.0003141018,0.000054671,0.00009692353,0.0001448916,0.06440015,0.01948797,0.513886,0.01647175,0.3848934],"study_design_scores_gemma":[0.00002658165,0.0001016065,0.0002522521,0.0002631149,0.00007048297,0.0003689928,0.00003546737,0.1608668,0.05743105,0.6465477,0.1339539,0.00008219056],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00682514,0.008725172,0.895487,0.001033825,0.001199055,0.00003173446,0.00008428886,0.001350811,0.08526293],"genre_scores_gemma":[0.4822112,0.01848424,0.3158359,0.001536531,0.001903504,0.0001993769,0.0002988812,0.001180962,0.1783495],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005906834,"threshold_uncertainty_score":0.01976031,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}