{"id":"W2118804107","doi":"10.1002/rsa.20095","title":"The Boolean functions computed by random Boolean formulas or how to grow the right function","year":2005,"lang":"en","type":"article","venue":"Random Structures and Algorithms","topic":"semigroups and automata theory","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"Natural Sciences and Engineering Research Council of Canada; University of Toronto","funders":"","keywords":"Boolean function; Probabilistic logic; Monotone polygon; Function (biology); Mathematics; Discrete mathematics; Convergence (economics); Combinatorics; Computer science; Theoretical computer science; Statistics","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":["sts","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0006486037,0.0003147116,0.0003266523,0.00006644808,0.001700668,0.001063443,0.0008283405,0.00009041149,0.00004200741],"category_scores_gemma":[0.00006372493,0.0001421723,0.0001508562,0.000356632,0.0001436231,0.0004595741,0.000244015,0.0002715888,0.00001340616],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003202417,"about_ca_system_score_gemma":0.00003322602,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002649121,"about_ca_topic_score_gemma":0.00006509832,"domain_scores_codex":[0.9981338,0.0001821221,0.0003031794,0.0004985362,0.0003861628,0.0004961615],"domain_scores_gemma":[0.99817,0.0007650291,0.0001353511,0.0006633154,0.00007514811,0.0001911514],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.001009606,0.00003322105,0.0000124932,0.00001018535,0.0001731694,0.000006306724,0.0006313059,0.0004731664,0.0005782655,0.02394676,0.114924,0.8582016],"study_design_scores_gemma":[0.01144587,0.000276114,0.001095981,0.00002473073,0.00007359208,0.0001526109,0.0002606406,0.1873209,0.00107813,0.01289288,0.784905,0.0004735217],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009840072,0.002551625,0.9686977,0.01591392,0.00142982,0.0008617694,0.00004741236,0.0002820763,0.000375613],"genre_scores_gemma":[0.9787627,0.0002481798,0.009639323,0.00428581,0.001757668,0.0001077793,0.00004129086,0.00004553047,0.00511173],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9689226,"threshold_uncertainty_score":0.9999735,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005735867594603812,"score_gpt":0.2102264228436515,"score_spread":0.2044905552490477,"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."}}