{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008221921,0.0001737085,0.0003689967,0.0003042346,0.0002178741,0.000148194,0.000612094,0.00007293519,0.00002350415],"category_scores_gemma":[0.0001589193,0.0001550613,0.00004915572,0.0007567799,0.00002690567,0.000360383,0.00052786,0.0004446465,0.00001414561],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001812003,"about_ca_system_score_gemma":0.00008850484,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005243557,"about_ca_topic_score_gemma":0.00002494131,"domain_scores_codex":[0.995379,0.002835688,0.0005969656,0.0004452326,0.0002750184,0.0004680983],"domain_scores_gemma":[0.9990841,0.0003560056,0.0001876006,0.0002569612,0.00002082694,0.00009450887],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00004287879,0.00003870551,0.001970603,0.00006493955,0.000008224538,0.00008784611,0.003758895,0.004143078,0.0001341846,0.4518854,0.00002303611,0.5378422],"study_design_scores_gemma":[0.0003275267,0.0006732038,0.0002188397,0.0000264963,0.000007242985,0.0003271334,0.003217295,0.8830825,0.00092509,0.09903987,0.01167326,0.0004815203],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00009119959,0.001584925,0.9950616,0.0000457717,0.0008758398,0.0005086336,3.050677e-7,0.0001291695,0.001702506],"genre_scores_gemma":[0.4408951,0.000006564665,0.5586588,0.00002431299,0.00004971789,0.00009309482,7.321318e-7,0.000009040761,0.0002626803],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8789394,"threshold_uncertainty_score":0.6323218,"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."}}