{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006556797,0.0001529444,0.000204079,0.0001261528,0.0001812566,0.0006849297,0.0002686944,0.00008856968,0.000001584087],"category_scores_gemma":[0.001302108,0.000121644,0.00003826972,0.0001911233,0.000103322,0.0005282338,0.00006117662,0.00009283998,0.00001040315],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002878244,"about_ca_system_score_gemma":0.00001524207,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002707697,"about_ca_topic_score_gemma":0.000003823847,"domain_scores_codex":[0.9986507,0.00009921002,0.0002940173,0.0004299688,0.0002710892,0.000254956],"domain_scores_gemma":[0.9982613,0.001013688,0.0001231845,0.0004077639,0.0000663786,0.0001276404],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.00002409022,0.0001087623,0.007494792,0.0001188916,0.00007171315,0.00002639124,0.002028891,0.0002688194,0.003261712,0.4771645,0.0003151572,0.5091163],"study_design_scores_gemma":[0.003760937,0.001854989,0.5568769,0.001239975,0.0001346578,0.001761345,0.004725691,0.2362912,0.1060162,0.04667335,0.03574336,0.00492147],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09340715,0.0009792208,0.8700375,0.0001011343,0.0005817263,0.0005393521,0.00002225131,0.0002340852,0.03409758],"genre_scores_gemma":[0.997175,0.000009920574,0.002484066,0.00009341085,0.00006912043,0.0000243073,0.000001839915,0.000009978236,0.0001323828],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9037678,"threshold_uncertainty_score":0.6604793,"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0002220259,0.0007734051,0.0009770428,0.0004217702,0.0004452936,0.001336912,0.0007487428,0.0004765941,0.000006730747],"category_scores_gemma":[0.0001349518,0.0006331689,0.0002132166,0.00009409778,0.0002093045,0.0002842144,0.0002767824,0.0005954095,0.00005227114],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005930977,"about_ca_system_score_gemma":0.0001096814,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000181908,"about_ca_topic_score_gemma":0.000001693041,"domain_scores_codex":[0.9968396,0.00005342856,0.0005506563,0.001305641,0.0006958403,0.0005548178],"domain_scores_gemma":[0.9975315,0.0008143983,0.0003542546,0.0008686784,0.00009915538,0.0003319979],"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.000008904915,0.00006774078,0.00004004367,0.0006805007,0.0004285813,0.0005932616,0.001097139,0.0005169875,0.00005119041,0.1896328,0.01152288,0.79536],"study_design_scores_gemma":[0.001100721,0.0014513,0.0006431125,0.007015841,0.0001762705,0.006770112,0.00005390045,0.06618072,0.0001881956,0.03578531,0.8749474,0.005687115],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.006308366,0.04295926,0.01671747,0.0008030093,0.003219538,0.001862628,0.0004916358,0.001308402,0.9263297],"genre_scores_gemma":[0.9618241,0.0008688101,0.00003171174,0.0002292262,0.0005736045,0.00001785534,0.00001146677,0.0001143248,0.03632888],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9555157,"threshold_uncertainty_score":0.9996998,"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0003073698,0.000419048,0.0006988453,0.000259762,0.00007612741,0.0006326041,0.0008017921,0.0003842042,0.00001903444],"category_scores_gemma":[0.0001902885,0.0003207631,0.000158977,0.00005212741,0.0001334785,0.0006377873,0.0001179743,0.0002200881,0.00008191717],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005326167,"about_ca_system_score_gemma":0.00004837825,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001466268,"about_ca_topic_score_gemma":4.313248e-7,"domain_scores_codex":[0.9979337,0.00005517182,0.0005917653,0.0006298366,0.0005247439,0.0002647892],"domain_scores_gemma":[0.9977816,0.0005141486,0.0005270355,0.0008879448,0.0001720454,0.0001172687],"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.000002232451,0.00001371091,0.000001311716,0.0002174162,0.00006091132,0.000002902027,0.00009434758,0.0003439266,0.00005168072,0.9080009,0.0003017201,0.09090889],"study_design_scores_gemma":[0.0003128947,0.0007766769,0.0000960555,0.003398384,0.0001245067,0.0002363059,0.00004845751,0.0831358,0.003320607,0.8642787,0.04180975,0.002461909],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.0001103343,0.003274066,0.1088461,0.00003975287,0.0005027978,0.00059416,0.00007851887,0.0001416805,0.8864126],"genre_scores_gemma":[0.9579042,0.0001750674,0.00117203,0.00006791853,0.0001455866,0.00006556166,0.000007934706,0.00006242979,0.04039926],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9577939,"threshold_uncertainty_score":0.9999244,"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0009036593,0.0007099271,0.001250484,0.0004213919,0.0002522647,0.001908122,0.0007550295,0.0005632925,0.0003209782],"category_scores_gemma":[0.002975665,0.0004809187,0.0002974549,0.0001054228,0.0001809685,0.0003002327,0.00008805068,0.0004887052,0.001328392],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009995563,"about_ca_system_score_gemma":0.00007815638,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001901102,"about_ca_topic_score_gemma":0.000002671318,"domain_scores_codex":[0.9956352,0.00006549816,0.001110082,0.001175807,0.001530784,0.0004825941],"domain_scores_gemma":[0.9933789,0.004487887,0.0005800236,0.000941605,0.0003151727,0.0002963841],"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.00004084292,0.0000714288,0.00009566087,0.0003963622,0.0003528008,0.0001074703,0.0004688004,0.0174001,0.000137833,0.05679329,0.03531393,0.8888215],"study_design_scores_gemma":[0.0009772349,0.0008771862,0.0008060521,0.007687443,0.0003811802,0.001484571,0.0003869023,0.04930532,0.0003254524,0.1773174,0.7534226,0.007028712],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.0006697804,0.004924815,0.03264606,0.00007695067,0.003075079,0.001109547,0.0002242917,0.0002688957,0.9570046],"genre_scores_gemma":[0.7673713,0.00001626615,0.00001122364,0.00006295984,0.0004756925,0.00005000428,0.000005359853,0.00009039418,0.2319168],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.8817928,"threshold_uncertainty_score":0.9997643,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}