{"id":"W2015132157","doi":"10.1016/j.dam.2013.11.015","title":"Counting inequivalent monotone Boolean functions","year":2013,"lang":"en","type":"article","venue":"Discrete Applied Mathematics","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada; Western Canada Research Grid; Compute Canada","keywords":"Mathematics; Monotone polygon; Monotonic function; Combinatorics; Boolean function; Discrete mathematics","routes":{"ca_aff":true,"ca_fund":true,"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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0004250788,0.0001669538,0.0001865653,0.00007999536,0.0001640763,0.0002395135,0.0006811998,0.0000646119,0.00007891001],"category_scores_gemma":[0.0000624903,0.0001474192,0.00005416108,0.0003053681,0.00005238781,0.0004773769,0.0002572805,0.0001482157,0.001243599],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004709091,"about_ca_system_score_gemma":0.00002174489,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007802262,"about_ca_topic_score_gemma":3.775232e-7,"domain_scores_codex":[0.9986892,0.00001521192,0.0003911499,0.0002829897,0.0003200909,0.0003013521],"domain_scores_gemma":[0.9986731,0.00007231029,0.0002019443,0.0008855665,0.00007775777,0.0000892606],"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":[8.849606e-7,0.00006623693,0.00001180416,0.00008655797,0.00001809494,3.6022e-7,0.001286786,0.0001372085,0.01367048,0.9719471,0.001164793,0.01160972],"study_design_scores_gemma":[0.0004660051,0.00006117155,0.0009345158,0.00006284594,0.00003655723,0.00001833742,0.001386335,0.7692452,0.02253634,0.2002035,0.004339059,0.0007100991],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01552593,0.00001574856,0.9479787,0.0001579529,0.0001629862,0.0005087228,0.000002082583,0.0002702551,0.03537767],"genre_scores_gemma":[0.1996191,0.000005219921,0.7996321,0.0001290098,0.00005166155,0.0002410608,0.000006378289,0.00001844608,0.000297109],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7717436,"threshold_uncertainty_score":0.9995341,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0233567693230089,"score_gpt":0.2614921495457749,"score_spread":0.238135380222766,"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."}}