{"id":"W5713621","doi":"10.1007/bfb0035863","title":"Darwin: Computer algebra and enumerative combinatorics","year":2006,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Enumerative combinatorics; Darwin (ADL); Extremal combinatorics; Combinatorics; Algebra over a field; Mathematics; Algebraic combinatorics; Computer science; Pure mathematics","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"],"consensus_categories":[],"category_scores_codex":[0.0008293702,0.0007298786,0.0007239291,0.0007183121,0.0003880377,0.001035658,0.002813199,0.0003918248,0.00002188929],"category_scores_gemma":[0.00002661012,0.0006633835,0.0001268333,0.0005901346,0.001024818,0.0008396927,0.002224867,0.0009035126,0.0000401567],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002266534,"about_ca_system_score_gemma":0.0003174459,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002941543,"about_ca_topic_score_gemma":0.00001330091,"domain_scores_codex":[0.9957171,0.0000612469,0.0005840014,0.001900832,0.0009650733,0.0007717119],"domain_scores_gemma":[0.9972145,0.0006438966,0.0003188605,0.001384203,0.0002191262,0.000219437],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000003934074,0.00005872922,0.00007498349,0.00005069811,0.00002085486,0.0002310974,0.0007932518,0.004242298,0.00005851315,0.3259346,0.0005085627,0.6680225],"study_design_scores_gemma":[0.0004027676,0.000231877,0.0003420857,0.0002751831,0.000009657597,0.0001471658,1.414336e-7,0.489542,0.0005818965,0.5049652,0.002598074,0.0009038649],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0002105439,0.0009852503,0.989897,0.0006406813,0.002234773,0.0003579447,0.000009194467,0.000280527,0.005384104],"genre_scores_gemma":[0.4176876,0.0001394219,0.5734571,0.005551504,0.001748856,0.00002116549,0.00003218135,0.0001301834,0.001232051],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6671186,"threshold_uncertainty_score":0.9995818,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008530677949465895,"score_gpt":0.214028301392109,"score_spread":0.2054976234426431,"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."}}