{"id":"W1674524317","doi":"10.1109/iscas.2002.1010390","title":"Antisymmetries in the realization of Boolean functions","year":2003,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"","keywords":"Realization (probability); Computer science; Boolean function; Mathematics; Algorithm","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":[],"consensus_categories":[],"category_scores_codex":[0.0007748886,0.00002883579,0.00003890547,0.00008489519,0.0000332217,0.0000229057,0.0002438687,0.00001759189,0.000008465287],"category_scores_gemma":[0.0002673606,0.00001956887,0.00001255778,0.0008578708,0.00002292539,0.0002535785,0.00001251494,0.00003270812,0.000006928836],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000007635578,"about_ca_system_score_gemma":0.00001651972,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002657222,"about_ca_topic_score_gemma":0.00001134172,"domain_scores_codex":[0.9994754,0.0001487776,0.0001253446,0.00007916884,0.0001112113,0.00006006256],"domain_scores_gemma":[0.9995563,0.00005584641,0.00004147328,0.0003042078,0.0000352641,0.000006930891],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[3.315746e-7,0.00001633003,0.001377187,0.000002049672,5.831452e-7,9.291158e-8,0.0003010289,0.00004109201,0.0001057091,0.9927911,0.000292094,0.005072434],"study_design_scores_gemma":[0.00104953,0.0004929428,0.3606594,0.00005024628,0.00001678914,0.0000728936,0.003734821,0.07666104,0.1294263,0.2680372,0.1592204,0.0005784287],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003491379,0.00002119788,0.9473093,0.00006462594,0.0001167549,0.00006352402,2.697205e-7,0.00001747326,0.04891551],"genre_scores_gemma":[0.7337974,0.000009636935,0.2658502,0.0001148596,0.000004189714,0.000005022613,9.010321e-7,0.000001421692,0.0002163733],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.730306,"threshold_uncertainty_score":0.07979954,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03046999079228738,"score_gpt":0.2853019005445006,"score_spread":0.2548319097522132,"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."}}