{"id":"W1883221139","doi":"10.1016/j.apal.2015.08.001","title":"Measuring complexities of classes of structures","year":2015,"lang":"en","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada; Government of Ontario","keywords":"Turing; Mathematics; Class (philosophy); Ordinal data; Ordinal regression; Discrete mathematics; Bounded function; Computer science; Artificial intelligence; Statistics","routes":{"ca_aff":true,"ca_fund":true,"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.0004106348,0.0001327679,0.0004009033,0.00009267815,0.00002762329,0.00002099434,0.0005258585,0.00006293439,0.000005929647],"category_scores_gemma":[0.00004660165,0.0001059931,0.00006145986,0.0002123442,0.0002382421,0.000097616,0.0003485701,0.00007730434,7.476909e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000003837444,"about_ca_system_score_gemma":0.00005338639,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002971303,"about_ca_topic_score_gemma":0.00000870308,"domain_scores_codex":[0.9988416,0.00004282753,0.0003546283,0.0002455653,0.0003333796,0.0001819507],"domain_scores_gemma":[0.9989402,0.000124437,0.0002332596,0.0003607692,0.0002615765,0.00007969872],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00003284425,0.0001399456,0.001064975,0.0002361174,0.00005231259,0.000001889479,0.001684666,0.001358886,0.004577854,0.9633749,0.0008688191,0.02660683],"study_design_scores_gemma":[0.0003044852,0.0002896109,0.01240902,0.00001987634,0.000008325495,0.000006873622,0.0004852857,0.001222442,0.07264512,0.9121273,0.0003140399,0.0001676078],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9047713,0.002647659,0.07326396,0.001019815,0.0002035811,0.0003698531,0.00002130146,0.00009893504,0.01760356],"genre_scores_gemma":[0.9771373,0.00002132374,0.02266292,0.000122661,0.00003948013,0.000003149191,0.000001402041,0.000004031582,0.000007713272],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.07236598,"threshold_uncertainty_score":0.4322272,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2234692151510423,"score_gpt":0.3130626732780226,"score_spread":0.0895934581269803,"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."}}