{"id":"W4390545201","doi":"10.1007/978-3-031-30488-0_6","title":"Inductively Defined Sets; Structural Induction","year":2024,"lang":"en","type":"book-chapter","venue":"Synthesis lectures on mathematics and statistics","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"York University","funders":"","keywords":"Recursion (computer science); Mathematical induction; Section (typography); Inductively coupled plasma; Computer science; Mathematics; Algorithm; Physics; Geometry","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.0002127768,0.0005802165,0.000622624,0.0002819791,0.0002257512,0.000456413,0.0004866334,0.0004156297,0.0001246424],"category_scores_gemma":[0.0003866096,0.0004381718,0.0001148113,0.00006693711,0.0001504489,0.00008215362,0.0002161258,0.0006285612,0.0001779102],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000992038,"about_ca_system_score_gemma":0.0001082831,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004867149,"about_ca_topic_score_gemma":0.00001874778,"domain_scores_codex":[0.9980795,0.0000221867,0.0004421552,0.0006781375,0.0004613977,0.0003165917],"domain_scores_gemma":[0.9978986,0.0009631675,0.0002927053,0.0005654955,0.0001400503,0.0001399456],"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.000004031926,0.00001302447,3.527268e-7,0.0003240623,0.000135917,0.00003998063,0.0008170535,0.00000545514,0.00001827747,0.9488018,0.003078671,0.04676138],"study_design_scores_gemma":[0.00006667551,0.0001221775,0.00001921841,0.0003498735,0.0001582714,0.00009589416,0.0000161818,0.009208528,0.0001622257,0.9800022,0.009260354,0.0005384404],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.0002291751,0.002569724,0.3942203,0.0004409668,0.002003604,0.0007386597,0.0008371582,0.0004979579,0.5984625],"genre_scores_gemma":[0.03030995,0.0009616247,0.775731,0.000295391,0.0008227946,0.0000733647,0.00008811974,0.000334624,0.1913831],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.4070794,"threshold_uncertainty_score":0.999807,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02509222159259693,"score_gpt":0.2507666472897727,"score_spread":0.2256744256971757,"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."}}