{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaresearch","metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0009097359,0.0003042138,0.0003067302,0.0001413437,0.0004107185,0.0005183631,0.0008628613,0.0001661271,0.000002985822],"category_scores_gemma":[0.05188209,0.0002826414,0.00007084978,0.0009415489,0.0001255029,0.003124757,0.000431729,0.0003297841,0.00005997013],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007012867,"about_ca_system_score_gemma":0.0001897552,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001106422,"about_ca_topic_score_gemma":0.00002534,"domain_scores_codex":[0.9974359,0.0001508685,0.0003939593,0.0008654524,0.0003360244,0.0008177526],"domain_scores_gemma":[0.9864972,0.01215852,0.0002656475,0.0005700564,0.0003059328,0.0002026062],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"qualitative","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00005263197,0.001566626,0.2043967,0.0003681467,0.00008620549,0.001171812,0.4348806,0.0001746702,0.002457678,0.03349904,0.01719005,0.3041559],"study_design_scores_gemma":[0.002052969,0.0008939554,0.0162574,0.000275754,0.00004400988,0.001444027,0.03091769,0.0127972,0.002100553,0.006617273,0.9261826,0.0004165716],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5572308,0.002661865,0.4256069,0.0003102863,0.0007081982,0.0006489851,0.0000035839,0.0005491982,0.01228021],"genre_scores_gemma":[0.6800311,0.0005748015,0.3128268,0.002022337,0.0004440736,0.0005514077,0.00000490619,0.00004555903,0.003498963],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9089925,"threshold_uncertainty_score":0.9999626,"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."}}