{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005315263,0.0003447904,0.0007891511,0.0001404723,0.0003119639,0.00009805446,0.002647157,0.0004399343,0.00001552994],"category_scores_gemma":[0.0005728811,0.0002451865,0.0004276011,0.0002424571,0.001485013,0.0002500486,0.002334106,0.0007677613,0.00001469335],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001124483,"about_ca_system_score_gemma":0.0009649433,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001755941,"about_ca_topic_score_gemma":0.0001289096,"domain_scores_codex":[0.9971672,0.0004318966,0.0007771896,0.0007177663,0.0005952514,0.0003106439],"domain_scores_gemma":[0.9941358,0.0002285768,0.002328189,0.002490655,0.0007154649,0.0001013017],"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.00001582352,0.0002020328,0.00385973,0.0002942118,0.00055916,0.000007698153,0.01440505,0.0002118074,0.0001347137,0.9668944,0.0005361881,0.01287919],"study_design_scores_gemma":[0.002834315,0.0006648771,0.03749551,0.001015597,0.0006475063,0.0001611761,0.00349507,0.01235862,0.01555909,0.905782,0.01810023,0.00188594],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1178126,0.003138761,0.6187095,0.004566254,0.03395122,0.008025143,0.0004188603,0.0005817612,0.2127959],"genre_scores_gemma":[0.9964471,0.00001772327,0.002200779,0.00002708155,0.0001981465,0.00009325908,0.000007817561,0.00001638741,0.0009917271],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8786345,"threshold_uncertainty_score":0.9998414,"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."}}