{"id":"W4409708778","doi":"10.1007/978-3-031-85352-4_10","title":"Inductive Sets and Types","year":2025,"lang":"en","type":"book-chapter","venue":"Computer science foundations and applied logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","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":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0005555621,0.0004304035,0.0004534465,0.0005506373,0.0008526027,0.001192173,0.001430009,0.0001957165,0.00002527012],"category_scores_gemma":[0.00001849234,0.0003867745,0.00006004235,0.000446398,0.001463075,0.0004901991,0.002943711,0.0003977981,0.00004294384],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001283139,"about_ca_system_score_gemma":0.0004541106,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006789804,"about_ca_topic_score_gemma":0.000006472615,"domain_scores_codex":[0.9971212,0.00001766923,0.0003766142,0.001613805,0.0004589052,0.0004118249],"domain_scores_gemma":[0.9981695,0.0002307971,0.0001975286,0.0009361698,0.0002624234,0.0002035394],"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":[7.7571e-7,0.000015342,0.000004757444,0.00001562672,0.00001086473,0.000002368359,0.0001272892,0.00004039882,0.00001044468,0.6974658,0.0001612479,0.3021451],"study_design_scores_gemma":[0.0002681348,0.0001506642,0.0009353393,0.00006741166,0.00003100403,0.00004761895,0.000007767618,0.07584523,0.00002263021,0.8927948,0.02910044,0.0007288894],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0002377231,0.0002677323,0.8104307,0.000877292,0.0009609057,0.0005860826,0.000009548892,0.0002580061,0.186372],"genre_scores_gemma":[0.05622416,0.0002572935,0.9202815,0.001879696,0.0005202207,0.0000706039,0.00003021621,0.00003586387,0.02070039],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3014162,"threshold_uncertainty_score":0.9998584,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02751794189349512,"score_gpt":0.2640340615991151,"score_spread":0.23651611970562,"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."}}