{"id":"W1965529758","doi":"10.1016/j.dam.2007.07.023","title":"Self-duality of bounded monotone boolean functions and related problems","year":2007,"lang":"en","type":"article","venue":"Discrete Applied Mathematics","topic":"Machine Learning and Algorithms","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University; University of Lethbridge","funders":"","keywords":"Mathematics; Duality (order theory); Monotone polygon; Bounded function; Boolean function; Disjunctive normal form; Discrete mathematics; Combinatorics; Function (biology); Maximum satisfiability problem; Parity function; Boolean expression","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.0009457159,0.0001509782,0.000242815,0.00008203482,0.0001356039,0.00006488482,0.0002817023,0.00007731671,0.000008801683],"category_scores_gemma":[0.00002495432,0.0001290997,0.00004804821,0.0003112068,0.0000704976,0.00009659931,0.0001737274,0.0002024779,0.00002085673],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000166806,"about_ca_system_score_gemma":0.00002126811,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008956445,"about_ca_topic_score_gemma":0.000002282743,"domain_scores_codex":[0.998772,0.00001522955,0.0004459058,0.0002661473,0.0002531946,0.0002474765],"domain_scores_gemma":[0.9990224,0.0001239347,0.0002347604,0.000480961,0.00003970209,0.00009820623],"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.000004522053,0.0003029625,0.000136403,0.0005585987,0.0001180921,0.000004020513,0.01187732,0.0001516038,0.0031403,0.972199,0.00009908744,0.01140807],"study_design_scores_gemma":[0.002014945,0.000258903,0.002697476,0.000149987,0.0001464643,0.0001038541,0.001973669,0.4907065,0.00672575,0.4905262,0.003704952,0.0009913032],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06434129,0.00006302131,0.8943087,0.0001466089,0.00008357449,0.0003462292,0.000003804448,0.0003294947,0.04037723],"genre_scores_gemma":[0.6865419,0.00001056773,0.3129111,0.00002382797,0.00002093964,0.00001203801,0.000007862419,0.00001619638,0.0004556499],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6222005,"threshold_uncertainty_score":0.5264533,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008905465639928068,"score_gpt":0.2420990589935642,"score_spread":0.2331935933536361,"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."}}