{"id":"W2762422546","doi":"10.4230/lipics.csl.2023.30","title":"Consistency of the Predicative Calculus of Cumulative Inductive Constructions (pCuIC)","year":2017,"lang":"en","type":"preprint","venue":"Lirias (KU Leuven)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Predicative expression; Calculus (dental); Type theory; Soundness; Type (biology); Mathematics; Hierarchy; Dependent type; Consistency (knowledge bases); Relation (database); Discrete mathematics; Algebra over a field; Pure mathematics; Computer science; Natural deduction; Linguistics; Philosophy; Programming language","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.01158743,0.000761664,0.001578188,0.003363945,0.004878238,0.006899521,0.004717402,0.002529907,0.006439988],"category_scores_gemma":[0.03739855,0.001487409,0.002159116,0.00298489,0.01251008,0.01007024,0.007727241,0.005977683,0.0013165],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005582376,"about_ca_system_score_gemma":0.006213676,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007612523,"about_ca_topic_score_gemma":0.004685719,"domain_scores_codex":[0.9879112,0.003335862,0.0006436566,0.002835832,0.003785263,0.001488132],"domain_scores_gemma":[0.9797242,0.01025927,0.001091717,0.004279044,0.003991411,0.0006543991],"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.0000222887,0.000009353812,0.0002437397,0.00003220908,0.00001242407,0.00004360903,0.0002156699,0.0009896687,0.000197884,0.9940143,0.0008457141,0.003373158],"study_design_scores_gemma":[0.00002762158,0.00001695173,0.0002064253,0.00005334868,0.00003345025,0.00008369706,0.00005976735,0.008244403,0.0016299,0.9769198,0.01269379,0.00003076574],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04473389,0.00257788,0.8230796,0.003489225,0.0007483168,0.0003591976,0.0009664827,0.001974014,0.1220715],"genre_scores_gemma":[0.7328577,0.001101711,0.2434506,0.001573354,0.0007277848,0.0006558797,0.001111619,0.001102792,0.01741862],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01158743,"threshold_uncertainty_score":0.06128091,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05598213477051516,"score_gpt":0.2970713672853438,"score_spread":0.2410892325148286,"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."}}