{"id":"W4399425095","doi":"10.1016/j.aim.2024.109739","title":"Computads for weak ω-categories as an inductive type","year":2024,"lang":"en","type":"article","venue":"Advances in Mathematics","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Dalhousie University","funders":"","keywords":"Mathematics; Type (biology); Pure mathematics","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.003249253,0.00121128,0.001582368,0.006250659,0.005336015,0.009323568,0.002842998,0.002884062,0.01708179],"category_scores_gemma":[0.005713948,0.001401638,0.002309573,0.003427696,0.008788542,0.02369001,0.01080433,0.007724182,0.001902929],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00252602,"about_ca_system_score_gemma":0.0009649708,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001068549,"about_ca_topic_score_gemma":0.001283791,"domain_scores_codex":[0.9972663,0.0006863443,0.0002193907,0.0006933637,0.0007042523,0.000430376],"domain_scores_gemma":[0.9945648,0.00271657,0.0003359983,0.0007970252,0.0007762149,0.0008094221],"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.000006704316,0.00000654921,0.00008009943,0.000009826598,0.000002255112,0.00001986732,0.0001262091,0.00004540792,0.00008753249,0.9987065,0.0001722134,0.0007368076],"study_design_scores_gemma":[0.00001441745,0.00001326598,0.0001702391,0.00001627991,0.00001381762,0.00009851922,0.0001779626,0.0008323082,0.0003136143,0.9926334,0.005702089,0.00001405479],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1834101,0.003561767,0.530508,0.005976407,0.002164711,0.0002249908,0.0009104564,0.001098297,0.2721452],"genre_scores_gemma":[0.8718423,0.001394335,0.05249147,0.0009536063,0.001173677,0.000391558,0.0006210612,0.0004832588,0.07064879],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01708179,"threshold_uncertainty_score":0.05714428,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03624718253444117,"score_gpt":0.3827350438877747,"score_spread":0.3464878613533335,"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."}}