{"id":"W3035799148","doi":"10.1609/aaai.v34i10.7227","title":"LGML: Logic Guided Machine Learning (Student Abstract)","year":2020,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"Rough Sets and Fuzzy Logic","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Artificial intelligence; Counterexample; Consistency (knowledge bases); Function (biology); Algebraic expression; Phase (matter); Process (computing); Algorithm; Machine learning; Algebraic number; Mathematics; Programming language; Discrete 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004171104,0.0002623541,0.0003096517,0.00006510605,0.0002519947,0.0003769153,0.002880088,0.00009250708,0.0001561199],"category_scores_gemma":[0.0004626198,0.0001817387,0.00015466,0.000636245,0.0001755541,0.0003400736,0.0007283596,0.0005272546,0.0002808697],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003163205,"about_ca_system_score_gemma":0.00006279256,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004164927,"about_ca_topic_score_gemma":0.000003431536,"domain_scores_codex":[0.9977489,0.00001739874,0.000622237,0.000599512,0.0006213185,0.0003906821],"domain_scores_gemma":[0.9986943,0.00006883675,0.0004332539,0.0002410404,0.0003963279,0.0001662317],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003733535,0.0001506256,0.0006915533,0.00004522785,0.00002022942,0.000003171774,0.002880605,0.0006404923,0.0207409,0.9217238,0.0004750132,0.05259104],"study_design_scores_gemma":[0.0001294437,0.001222825,0.002328718,0.0002615099,0.00003562671,0.0000181649,0.001239833,0.4287358,0.3085854,0.2535195,0.002961901,0.0009612767],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.3881104,0.000450732,0.09959622,0.1581195,0.002306028,0.00264303,0.0000214743,0.001588378,0.3471642],"genre_scores_gemma":[0.993845,0.00007679791,0.004287001,0.001564916,0.0001062129,0.00001311448,6.130738e-7,0.0000126404,0.00009372462],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6682043,"threshold_uncertainty_score":0.741109,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1503808773953212,"score_gpt":0.3190635613215488,"score_spread":0.1686826839262275,"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."}}