{"id":"W2950981526","doi":"10.48550/arxiv.1209.4623","title":"Counting inequivalent monotone Boolean functions","year":2012,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Monotone polygon; Monotonic function; Combinatorics; Mathematics; Boolean function; Discrete mathematics; Mathematical analysis","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002612324,0.000814879,0.001420145,0.002908157,0.001199223,0.003161049,0.002336234,0.001326748,0.006208755],"category_scores_gemma":[0.02332928,0.0006665072,0.000965893,0.00240428,0.001870649,0.007637499,0.002972816,0.001837639,0.0007561168],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001626592,"about_ca_system_score_gemma":0.0008278606,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006107626,"about_ca_topic_score_gemma":0.0005988021,"domain_scores_codex":[0.993835,0.00148937,0.000531662,0.0008676284,0.00259724,0.0006791583],"domain_scores_gemma":[0.9856706,0.008933851,0.0009343909,0.002540984,0.001522234,0.0003979201],"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.0007607557,0.0001879077,0.01731243,0.0005737416,0.0001279804,0.0004642758,0.0006567045,0.02864197,0.01753896,0.7164536,0.003888204,0.2133935],"study_design_scores_gemma":[0.00004411019,0.0001008839,0.002872384,0.00005430223,0.00006531174,0.000643314,0.0001729006,0.1891481,0.01582011,0.7854725,0.00555042,0.00005577412],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5907609,0.0006427073,0.384014,0.0009011512,0.0001102134,0.0001604328,0.001155314,0.0007277804,0.0215274],"genre_scores_gemma":[0.8692545,0.0002724126,0.1253118,0.0002148194,0.00008532483,0.0002659984,0.001433502,0.0002043158,0.002957307],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.006208755,"threshold_uncertainty_score":0.02077031,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1414190391024149,"score_gpt":0.2220607548309929,"score_spread":0.08064171572857809,"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."}}