{"id":"W1545897260","doi":"10.1023/a:1018952121991","title":"Higher order generalization and its application in program verification","year":2000,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Generalization; Unification; Computer science; Mathematical proof; Inductive reasoning; Order (exchange); Theoretical computer science; Inference; Algebra over a field; Artificial intelligence; Algorithm; Mathematics; Programming language; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005419765,0.0007694898,0.001925614,0.002615257,0.001473321,0.002054786,0.00189624,0.00165969,0.003299914],"category_scores_gemma":[0.01725788,0.000700116,0.003521982,0.00295095,0.005663062,0.007922111,0.003631936,0.006021081,0.0003895331],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00209433,"about_ca_system_score_gemma":0.001319835,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003116347,"about_ca_topic_score_gemma":0.002097522,"domain_scores_codex":[0.9974059,0.0009550521,0.0002013662,0.0006147086,0.0006249895,0.0001979055],"domain_scores_gemma":[0.98242,0.01298236,0.0007738207,0.002520415,0.0009766892,0.0003267782],"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.00008955606,0.00004115218,0.0007550725,0.0001022877,0.00003653274,0.000191013,0.0003632524,0.01767486,0.001461944,0.9419488,0.0007802634,0.03655543],"study_design_scores_gemma":[0.00001238521,0.00002870393,0.0001936888,0.00002399308,0.00002860531,0.0001021382,0.00002829881,0.08820032,0.0009592925,0.9081808,0.002220423,0.00002141276],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02831672,0.001338108,0.9587322,0.001156325,0.0001963918,0.00005862534,0.00008370715,0.0006645425,0.009453367],"genre_scores_gemma":[0.6833176,0.002160229,0.3054513,0.000811229,0.0008257283,0.0001523752,0.0001717871,0.0003387543,0.006770917],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005419765,"threshold_uncertainty_score":0.0286628,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1061203702815848,"score_gpt":0.3413464726257647,"score_spread":0.2352261023441799,"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."}}