{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002282158,0.0004756849,0.0004938669,0.001101908,0.0007290522,0.002986148,0.000812923,0.00110627,0.005702327],"category_scores_gemma":[0.0189304,0.0003455121,0.0006859694,0.0005759235,0.002550563,0.006439457,0.001246152,0.001621674,0.0007735526],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001130638,"about_ca_system_score_gemma":0.000698628,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009293084,"about_ca_topic_score_gemma":0.0007010488,"domain_scores_codex":[0.9990772,0.0002893744,0.00005845421,0.0001817437,0.0002571561,0.000135997],"domain_scores_gemma":[0.9867987,0.009759557,0.000607908,0.001022423,0.001318349,0.0004930014],"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.0001393032,0.0000319237,0.001280002,0.00008858871,0.00001911611,0.0001192082,0.0003547941,0.02574957,0.008233767,0.9408205,0.001433076,0.02173021],"study_design_scores_gemma":[0.0000227389,0.00002932726,0.0003520081,0.00003619389,0.00002120558,0.0001097023,0.0001243639,0.2808333,0.01391455,0.7020178,0.002511968,0.00002688532],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3725602,0.0004544094,0.5998454,0.002548166,0.0001092606,0.00008989891,0.0002235401,0.0005032579,0.02366585],"genre_scores_gemma":[0.9205443,0.000288386,0.07222049,0.0002873603,0.00006335169,0.0001260389,0.0001675512,0.0001908591,0.006111688],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005702327,"threshold_uncertainty_score":0.01907617,"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."}}