{"id":"W2953147117","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":"Scholarship - Claremont (Claremont Colleges)","topic":"semigroups and automata theory","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":true,"ca_institutions":"Natural Sciences and Engineering Research Council of Canada; University of Toronto","funders":"","keywords":"Probabilistic logic; Monotone polygon; Boolean function; Mathematics; Function (biology); Convergence (economics); Linear growth; Discrete mathematics; Applied mathematics; Pure mathematics; 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.002404545,0.0006005312,0.0004762373,0.001117302,0.0007903772,0.002905101,0.001007548,0.001193441,0.006351124],"category_scores_gemma":[0.01815214,0.0003190642,0.0008983206,0.000727758,0.002656043,0.007340231,0.001258688,0.00178363,0.000913334],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001148726,"about_ca_system_score_gemma":0.000814156,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008860138,"about_ca_topic_score_gemma":0.0008453368,"domain_scores_codex":[0.9991153,0.0002619061,0.00006031486,0.0002123901,0.0002148267,0.0001352364],"domain_scores_gemma":[0.98932,0.007684025,0.0006284162,0.001043372,0.0009625479,0.0003615761],"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.00009383345,0.00002681194,0.001005633,0.0001052939,0.00001711169,0.00009864525,0.0003090755,0.01770254,0.005688853,0.944517,0.001427516,0.02900769],"study_design_scores_gemma":[0.00001526125,0.0000256967,0.0003188582,0.00003856682,0.00002331574,0.0001065374,0.0001106083,0.1743547,0.01118214,0.8108178,0.002981617,0.00002478464],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2058117,0.0006445877,0.7653673,0.003083573,0.0001342845,0.00009603929,0.0002714575,0.0004495474,0.02414162],"genre_scores_gemma":[0.8210604,0.0007031703,0.1655291,0.0004736556,0.0001303433,0.0002230349,0.0002877206,0.0002982916,0.01129426],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006351124,"threshold_uncertainty_score":0.02124661,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01287401157908717,"score_gpt":0.2288308892448166,"score_spread":0.2159568776657294,"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."}}