{"id":"W2111110847","doi":"10.1109/ismvl.2005.1","title":"A Characterization of Antisymmetry in Boolean and Multi-Valued Functions","year":2005,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria; University of Lethbridge","funders":"","keywords":"Antisymmetry; Characterization (materials science); Boolean function; Class (philosophy); Boolean algebra; Computer science; Boolean expression; Mathematics; Algebra over a field; Theoretical computer science; Discrete mathematics; Algorithm; Pure mathematics; Artificial intelligence; Physics","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.0002553091,0.00004311542,0.00006671571,0.000130408,0.00002120704,0.00001937591,0.0001280808,0.00003017683,0.000007878211],"category_scores_gemma":[0.00004001594,0.00004114546,0.00001047355,0.0003039732,0.00002138083,0.0005568019,0.00005219417,0.00004264329,0.000009592424],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001417845,"about_ca_system_score_gemma":0.00001049424,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001650224,"about_ca_topic_score_gemma":0.00001548435,"domain_scores_codex":[0.99951,0.00004528546,0.0001650525,0.0001336345,0.00007092825,0.00007502904],"domain_scores_gemma":[0.9996934,0.000009171329,0.00005615737,0.0001913601,0.00002824471,0.00002166986],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000007363867,0.0002157001,0.0192435,0.00002486489,0.000005883961,4.8805e-7,0.001021511,0.00004330452,0.3798981,0.2347274,0.00001854046,0.3647933],"study_design_scores_gemma":[0.0002195001,0.00002184695,0.3454916,0.000008140633,0.000001109087,0.000003246472,0.0000137631,0.6046177,0.04916975,0.00004160918,0.0003545983,0.00005717222],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.3338192,0.000006980795,0.6655487,0.00007655672,0.00005347391,0.00005792419,6.825607e-7,0.00002917002,0.0004072391],"genre_scores_gemma":[0.4715826,0.000008400711,0.5281928,0.00005467447,0.000008728045,0.000002800053,0.000001471152,0.000001645759,0.0001469068],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6045744,"threshold_uncertainty_score":0.1677863,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02857360524793943,"score_gpt":0.2895363268739511,"score_spread":0.2609627216260117,"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."}}