{"id":"W1974374936","doi":"10.1016/j.jlap.2008.02.002","title":"Primitive recursive selection functions for existential assertions over abstract algebras","year":2008,"lang":"en","type":"article","venue":"The Journal of Logic and Algebraic Programming","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Existentialism; Selection (genetic algorithm); Primitive recursive function; Mathematics; Algebra over a field; Computer science; Pure mathematics; Discrete mathematics; Epistemology; Philosophy; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"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":[],"consensus_categories":[],"category_scores_codex":[0.001030054,0.0001778669,0.0002596392,0.0001299361,0.0007715576,0.000115665,0.0004740796,0.00008021676,0.00001222521],"category_scores_gemma":[0.0002438447,0.0001187384,0.0001967121,0.000388817,0.0002050608,0.0005794591,0.0001306114,0.0003536136,0.000002972701],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008365425,"about_ca_system_score_gemma":0.0001574447,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001699848,"about_ca_topic_score_gemma":0.0000126999,"domain_scores_codex":[0.9985022,0.0001251624,0.0004821474,0.0002303836,0.00031919,0.0003409283],"domain_scores_gemma":[0.9981894,0.0005913042,0.0004716403,0.000197042,0.0004236234,0.0001270109],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.0005780237,0.002233071,0.008005426,0.0001384118,0.001038871,0.000121869,0.01165036,0.001277555,0.004818983,0.129629,0.005257166,0.8352513],"study_design_scores_gemma":[0.007137054,0.01083123,0.5276397,0.0003096925,0.0008907156,0.01803975,0.003534781,0.0261249,0.003556424,0.3705771,0.02939079,0.001967824],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2971777,0.000484723,0.7000747,0.001139615,0.0005043621,0.0003963029,0.000001644523,0.00006406704,0.0001568765],"genre_scores_gemma":[0.9343773,0.00007548143,0.06487582,0.0001685223,0.0003742716,0.00001696883,0.000001680574,0.000009913255,0.0001001078],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8332834,"threshold_uncertainty_score":0.5934275,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03612114453709036,"score_gpt":0.2745663011653381,"score_spread":0.2384451566282478,"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."}}