{"id":"W4409708678","doi":"10.1007/978-3-031-85352-4_11","title":"Sequences","year":2025,"lang":"en","type":"book-chapter","venue":"Computer science foundations and applied logic","topic":"Advanced Mathematical Theories","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science","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.0003879823,0.0002679722,0.0003694966,0.0002113947,0.0005400325,0.0002612999,0.000494069,0.0001104932,0.0001525113],"category_scores_gemma":[0.0000732667,0.0002150398,0.00005142353,0.0001467333,0.001733613,0.0001459561,0.0004700212,0.0002088933,0.00006090381],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006832095,"about_ca_system_score_gemma":0.0001868084,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":2.127792e-7,"about_ca_topic_score_gemma":9.063502e-7,"domain_scores_codex":[0.998551,0.000004556579,0.0003217847,0.000559279,0.0003182498,0.0002450967],"domain_scores_gemma":[0.9986207,0.0005158346,0.0001744531,0.0004780326,0.0001211796,0.0000898197],"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.000001003808,0.00001003522,8.213838e-8,0.00006900515,0.000008504474,0.000001063032,0.0000585073,0.000006274392,0.00001718364,0.9756652,0.0003390637,0.02382408],"study_design_scores_gemma":[0.00006570804,0.00002361304,8.634572e-7,0.0001094473,0.00002873385,0.000007516574,0.000009844502,0.0004665552,0.00003680475,0.984198,0.01481896,0.0002339368],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.00001673629,0.00003527209,0.4625944,0.0001317626,0.0001665457,0.0002486808,0.000005888719,0.0001068091,0.5366939],"genre_scores_gemma":[0.004519125,0.00007283413,0.8330927,0.0003848516,0.0002429326,0.00004359367,0.00001074121,0.00002641041,0.1616068],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.3750871,"threshold_uncertainty_score":0.8769069,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06915884784034491,"score_gpt":0.3340756764363743,"score_spread":0.2649168285960293,"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."}}