{"id":"W1543636397","doi":"10.3233/fi-2018-1627","title":"Anatomy of the Chase","year":2018,"lang":"en","type":"preprint","venue":"Fundamenta Informaticae","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Chase; Undecidable problem; Computer science; Completeness (order theory); Set (abstract data type); Theoretical computer science; Algorithm; Mathematics; Programming language","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.0002831434,0.0002063555,0.0002971672,0.00007842098,0.0001235919,0.00008361912,0.001509012,0.0000980962,0.00006438085],"category_scores_gemma":[0.00005225242,0.0001330747,0.0001422883,0.0001910188,0.0002081717,0.000647714,0.004642189,0.0002682761,0.0001064485],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006135698,"about_ca_system_score_gemma":0.0001902998,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005096232,"about_ca_topic_score_gemma":0.00000771341,"domain_scores_codex":[0.9984716,0.00003931718,0.0006338449,0.0001954945,0.00042819,0.0002315359],"domain_scores_gemma":[0.9971436,0.00003975157,0.0006122831,0.002024363,0.0001122053,0.00006777428],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001829407,0.0001554916,0.001480418,0.002927044,0.0002570155,0.00000503915,0.01331241,0.0002854351,0.00008312471,0.9063316,0.05062475,0.02451936],"study_design_scores_gemma":[0.0006309943,0.0001211584,0.001741826,0.001438819,0.00003268162,0.00003299608,0.0005616487,0.02806606,0.006957951,0.009978165,0.9497228,0.0007149176],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02600197,0.0001646025,0.9480133,0.0008531293,0.003565225,0.001043065,0.0004161732,0.0001674275,0.01977512],"genre_scores_gemma":[0.5600953,0.00009312433,0.4345894,0.002709274,0.000558063,0.0002961814,0.0001699679,0.00004535972,0.001443369],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.899098,"threshold_uncertainty_score":0.5786156,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01856706466773396,"score_gpt":0.2900648519673199,"score_spread":0.271497787299586,"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."}}