{"id":"W2051230890","doi":"10.1002/spe.398","title":"G<scp>EN</scp>E<scp>X</scp>: a tool for testing in ILP","year":2001,"lang":"en","type":"article","venue":"Software Practice and Experience","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Inductive logic programming; Programming language; Variety (cybernetics); Logic program; Computer science; Generator (circuit theory); Field (mathematics); Logic programming; Software engineering; Artificial intelligence; 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.003423519,0.001195871,0.0005855564,0.001724662,0.000607538,0.002023303,0.002183184,0.001652765,0.03327161],"category_scores_gemma":[0.01592571,0.0006817573,0.0008056632,0.0008733248,0.001876791,0.003537773,0.002121707,0.001650476,0.00740455],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003977248,"about_ca_system_score_gemma":0.0006821306,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001437521,"about_ca_topic_score_gemma":0.001050125,"domain_scores_codex":[0.9984273,0.0007137625,0.0001576317,0.0002374692,0.0003911204,0.00007284738],"domain_scores_gemma":[0.9860631,0.01104504,0.0004340423,0.001366222,0.0008140786,0.0002775829],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.001484377,0.0007026161,0.00613695,0.001120124,0.0001509386,0.002147261,0.001090147,0.06831513,0.01830357,0.1394972,0.20778,0.5532717],"study_design_scores_gemma":[0.0005403147,0.0004080365,0.001687296,0.0003531605,0.00004730182,0.001652572,0.0001927707,0.6841246,0.05909492,0.143355,0.1084268,0.0001172543],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.01184296,0.00007607248,0.8729793,0.0004365187,0.00007582404,0.0002113306,0.001228835,0.1032232,0.009925967],"genre_scores_gemma":[0.1786259,0.0001531176,0.7899957,0.0005208608,0.00005771765,0.0006788928,0.004405546,0.01563124,0.009930991],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.03327161,"threshold_uncertainty_score":0.1113046,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02781024671057833,"score_gpt":0.2930589635034874,"score_spread":0.265248716792909,"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."}}