{"id":"W2045810234","doi":"10.2178/jsl/1333566632","title":"A real of strictly positive effective packing dimension that does not compute a real of effective packing dimension one","year":2012,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Packing dimension; Hausdorff dimension; Effective dimension; Dimension (graph theory); Mathematics; Dimension function; Minkowski–Bouligand dimension; Combinatorics; Mathematical analysis; Fractal dimension; Fractal","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002942047,0.0004806725,0.001502169,0.0006060501,0.0001862687,0.00007556295,0.0009129174,0.000251098,0.000005996757],"category_scores_gemma":[0.0003038405,0.0003327777,0.0005240653,0.0008866042,0.0002622393,0.001133161,0.0009717738,0.0007013966,0.000004720415],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004830027,"about_ca_system_score_gemma":0.0001363107,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003718741,"about_ca_topic_score_gemma":0.000009170228,"domain_scores_codex":[0.9949023,0.001262564,0.001196564,0.0005360526,0.001345921,0.0007566399],"domain_scores_gemma":[0.9928095,0.002844204,0.002258865,0.0006557821,0.001088224,0.0003433682],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"observational","study_design_scores_codex":[0.001682255,0.006376719,0.1841322,0.0008291508,0.001928375,0.0003912616,0.04628268,0.002798219,0.4753892,0.03527196,0.000090767,0.2448272],"study_design_scores_gemma":[0.002158171,0.003281806,0.818216,0.0009199223,0.0002196208,0.0003523371,0.0003293293,0.008370935,0.1570487,0.008600134,0.000004377907,0.0004986998],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9154205,0.0003201744,0.08130151,0.0002255107,0.001304444,0.0008952263,0.00001182434,0.0000647998,0.0004559477],"genre_scores_gemma":[0.973372,0.000159548,0.02587138,0.0001000225,0.0004549561,0.000008884313,0.000002064224,0.00002695375,0.000004192259],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6340837,"threshold_uncertainty_score":0.9999124,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02040741888462065,"score_gpt":0.268995094939475,"score_spread":0.2485876760548543,"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."}}