{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003376899,0.001194309,0.0005171386,0.002035419,0.001739495,0.003333938,0.0008961324,0.0007890915,0.1449514],"category_scores_gemma":[0.001326536,0.0004083624,0.0005319027,0.001966319,0.001245705,0.004321626,0.00174856,0.001882834,0.08046452],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001075714,"about_ca_system_score_gemma":0.0008767191,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001212531,"about_ca_topic_score_gemma":0.001220764,"domain_scores_codex":[0.9994134,0.00007948656,0.00003361973,0.0001861006,0.0002046749,0.0000827835],"domain_scores_gemma":[0.9994992,0.00008357182,0.00002374752,0.0001000189,0.0002409182,0.00005258638],"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.00003736337,0.0000168771,0.00007294765,0.00009907681,0.000005214121,0.00005929329,0.0002091563,0.0002440542,0.001398038,0.8833178,0.04742874,0.06711149],"study_design_scores_gemma":[0.000007333445,0.00001462081,0.00008663697,0.0000543098,0.000005467818,0.0001617939,0.0001413638,0.0004794005,0.002003412,0.3656346,0.6314009,0.0000102162],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.005241088,0.0008354593,0.08829698,0.0009243754,0.001430505,0.0001515127,0.002741745,0.001329419,0.899049],"genre_scores_gemma":[0.05125145,0.001312452,0.03009631,0.0005522502,0.00040716,0.0002004092,0.005080718,0.0009180351,0.9101812],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.1449514,"threshold_uncertainty_score":0,"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."}}