{"id":"W2339224764","doi":"10.1145/1113439.1113452","title":"Algebraic generalization","year":2005,"lang":"en","type":"article","venue":"ACM SIGSAM Bulletin","topic":"Machine Learning and Algorithms","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Generalization; Unification; Algebraic number; Algebraic expression; Computer science; Algebra over a field; Expression (computer science); Mathematics; Pure mathematics; Programming language","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.002739475,0.0007825479,0.0007598595,0.002020252,0.003516867,0.003505587,0.001943173,0.001089037,0.01339799],"category_scores_gemma":[0.005616224,0.0005227099,0.002342658,0.002146751,0.007829698,0.01210037,0.007380947,0.004131293,0.002684178],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002609346,"about_ca_system_score_gemma":0.001232622,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001995426,"about_ca_topic_score_gemma":0.001500586,"domain_scores_codex":[0.9963683,0.0007684719,0.0003073039,0.001102,0.001070951,0.0003829671],"domain_scores_gemma":[0.9967082,0.0008665138,0.0004388988,0.001047957,0.0007233623,0.0002150737],"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.00000578311,0.000006657614,0.00009686055,0.00002895807,0.000005286936,0.00006183086,0.0001875407,0.0005725797,0.0001886012,0.9932128,0.0009396776,0.004693453],"study_design_scores_gemma":[0.000006537927,0.00001633359,0.00007457634,0.0000210099,0.00001232348,0.0001948947,0.0001020185,0.002821024,0.0003807335,0.9549757,0.04138205,0.00001272819],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03883129,0.002295595,0.6769702,0.004308261,0.0006888917,0.00021399,0.0006700209,0.0006779063,0.2753439],"genre_scores_gemma":[0.6618007,0.003852985,0.274789,0.002874305,0.001580262,0.0004760239,0.001238604,0.0004946368,0.05289332],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01339799,"threshold_uncertainty_score":0.04482073,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00891189697514321,"score_gpt":0.2371997265145833,"score_spread":0.22828782953944,"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."}}