{"id":"W4234810121","doi":"10.1017/bsl.2018.78","title":"WORKSHOP ON COMPUTABILITY THEORY AND ITS APPLICATIONS 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Waterloo, Canada June 4–8, 2018","year":2018,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Benford’s Law and Fraud Detection","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Computability; Association (psychology); Computer science; Mathematical logic; Content (measure theory); Theoretical computer science; World Wide Web; Mathematics; Programming language; Epistemology; Philosophy","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001987253,0.0002784935,0.0004575781,0.0000536071,0.0004762912,0.00004488473,0.0003338698,0.00026612,0.0002569021],"category_scores_gemma":[0.001073163,0.0001956274,0.0001055508,0.000176007,0.0002248928,0.00002426698,0.00006816899,0.0002211111,0.00006369308],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002752798,"about_ca_system_score_gemma":0.00009932384,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004670768,"about_ca_topic_score_gemma":0.007036121,"domain_scores_codex":[0.9978289,0.0003591576,0.0005588277,0.0004327895,0.0003747109,0.0004456404],"domain_scores_gemma":[0.9950626,0.003573089,0.0004549058,0.0005081957,0.0002965768,0.0001045816],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0005781979,0.0005749783,0.0001990418,0.0002979876,0.0002550829,6.260232e-7,0.0008928133,0.00001200078,0.001640778,0.4538026,0.5369973,0.00474862],"study_design_scores_gemma":[0.001832002,0.000529934,0.001583305,0.00009013545,0.0002744156,0.00001817664,0.0008053656,0.0002797674,0.01002443,0.2929937,0.6909016,0.0006672067],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8588957,0.00220061,0.03135658,0.03667173,0.002790978,0.01391686,0.001700079,0.0007801572,0.05168736],"genre_scores_gemma":[0.9867282,0.0000696986,0.0006193508,0.001355175,0.0004038386,0.0004218303,0.0000483498,0.00004088757,0.01031268],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1608089,"threshold_uncertainty_score":0.7977453,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0282450976825387,"score_gpt":0.2789836985161712,"score_spread":0.2507386008336325,"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."}}