{"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,"ca_institutions":"University of Calgary","funders":"","keywords":"Truth table; Probabilistic logic; Computer science; Algorithm; Theoretical computer science; Mathematics; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"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"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05397718771594808,"score_gpt":0.2404749293596585,"score_spread":0.1864977416437104,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}