{"id":"W4413965795","doi":"10.70930/tac/fm1qswbs","title":"A Presentation of Bases for Parametrized Iterativity","year":2017,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Deutsche Forschungsgemeinschaft","keywords":"Presentation (obstetrics); Computer science; Medicine","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004804146,0.00004724339,0.0001183268,0.00003429482,0.000213641,0.00007953073,0.0003176779,0.00002317831,0.000001522931],"category_scores_gemma":[0.0001280495,0.00003779798,0.00002955469,0.0000545889,0.0002051125,0.000254819,0.00006039953,0.0000171469,6.316008e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000001852938,"about_ca_system_score_gemma":0.00001875414,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002862309,"about_ca_topic_score_gemma":0.000003316128,"domain_scores_codex":[0.9995948,0.00004227232,0.0001317849,0.000115335,0.00005613016,0.00005969287],"domain_scores_gemma":[0.9988707,0.0003415235,0.0002249282,0.0004362001,0.0001077096,0.00001888409],"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.00001906288,0.00003265408,0.0004408127,0.0000594499,0.000009652084,2.376481e-8,0.0003805379,0.00000105558,0.0006852378,0.9579309,0.00002179913,0.04041879],"study_design_scores_gemma":[0.000226056,0.00005427817,0.0008681687,0.00000164924,0.00001040306,9.223333e-7,0.0001134367,0.0002274549,0.03721552,0.9559576,0.005275256,0.00004927242],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008621047,0.0001801644,0.9892075,0.0001094939,0.0000300548,0.0004182021,0.000004489546,0.00001917207,0.001409878],"genre_scores_gemma":[0.9959437,0.00001357816,0.003539295,0.000007368296,0.00002723954,0.00023789,0.000004231192,0.000002023741,0.0002246266],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9873227,"threshold_uncertainty_score":0.1643176,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02719157785426131,"score_gpt":0.3058869600420637,"score_spread":0.2786953821878024,"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."}}