{"id":"W4380609821","doi":"10.1007/s10703-023-00430-1","title":"Machine learning and logic: a new frontier in artificial intelligence","year":2022,"lang":"en","type":"article","venue":"Formal Methods in System Design","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Artificial intelligence; Abductive reasoning; Generalizability theory; Machine learning","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.008209798,0.001087184,0.002167034,0.002716688,0.001443411,0.009637261,0.001866935,0.003350603,0.004700531],"category_scores_gemma":[0.01607455,0.0006743569,0.001081767,0.002695653,0.01701905,0.0213759,0.002455885,0.007500919,0.001008032],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002564217,"about_ca_system_score_gemma":0.003227053,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002327368,"about_ca_topic_score_gemma":0.001552377,"domain_scores_codex":[0.9950148,0.002852965,0.0002583568,0.000490004,0.001238775,0.0001449662],"domain_scores_gemma":[0.9680362,0.02867513,0.0005516385,0.001361529,0.0009626504,0.0004128144],"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.00002798719,0.00003209794,0.0002519582,0.0002965571,0.00002006662,0.00002204841,0.0002206673,0.001131733,0.0001183634,0.9618201,0.004617412,0.03144106],"study_design_scores_gemma":[0.00001323072,0.00001090369,0.00005985049,0.00009968419,0.000005521512,0.00001953277,0.00008777858,0.003375769,0.00006597758,0.9802501,0.01599965,0.00001208687],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"review","genre_scores_codex":[0.005802157,0.1396766,0.7416788,0.08234623,0.002789111,0.00004862967,0.000203814,0.0004433146,0.02701123],"genre_scores_gemma":[0.293696,0.1112322,0.5500755,0.01353361,0.01660386,0.0003566522,0.0003473546,0.0004903832,0.01366434],"genre_candidate":"review","genre_consensus":null,"teacher_disagreement_score":0.009637261,"threshold_uncertainty_score":0.04341805,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1074469343494178,"score_gpt":0.3535315076449354,"score_spread":0.2460845732955176,"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."}}