{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","sts","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.003930259,0.0008515593,0.0006924597,0.000296098,0.004417328,0.003258212,0.004203742,0.0004166009,0.0001151519],"category_scores_gemma":[0.0007028113,0.0004923526,0.0005134553,0.001999005,0.0002356305,0.00276033,0.0009338151,0.001567274,0.0005416472],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005489531,"about_ca_system_score_gemma":0.0002965013,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005361703,"about_ca_topic_score_gemma":0.001643361,"domain_scores_codex":[0.9934897,0.00104705,0.0009319955,0.001425524,0.001540662,0.001565086],"domain_scores_gemma":[0.9939054,0.001484735,0.0004372183,0.00296629,0.0005225342,0.0006838015],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.002377004,0.0005811604,0.0003488252,0.00004309863,0.0005858736,0.0001147686,0.001194063,0.001136502,0.00440954,0.05448978,0.6941355,0.2405839],"study_design_scores_gemma":[0.003998624,0.0005447355,0.002770202,0.0001315504,0.0001249975,0.000163676,0.0005784813,0.03923213,0.001992856,0.00464416,0.9448084,0.001010168],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07938644,0.008784072,0.6846293,0.2030379,0.007189315,0.006757922,0.000367933,0.003022727,0.006824419],"genre_scores_gemma":[0.9605595,0.0001379217,0.005285717,0.01077998,0.001222448,0.0003153764,0.00008391285,0.0001334598,0.02148163],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8811731,"threshold_uncertainty_score":0.9997528,"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."}}