{"id":"W4252249256","doi":"10.1017/9781316755808.003","title":"Type Theory","year":2017,"lang":"en","type":"book-chapter","venue":"Cambridge University Press eBooks","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Philosophy","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"],"consensus_categories":[],"category_scores_codex":[0.0004344618,0.0004193209,0.0005803111,0.0001279238,0.0004955116,0.00004161198,0.0009558641,0.0004892761,0.00006328568],"category_scores_gemma":[0.0001572762,0.0004671203,0.0002787272,0.000001917405,0.0005071875,0.00007961324,0.0003387725,0.0005478037,0.0001507348],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001679468,"about_ca_system_score_gemma":0.0001256957,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004122071,"about_ca_topic_score_gemma":9.31011e-7,"domain_scores_codex":[0.9987966,0.0000753684,0.0002103943,0.0003945059,0.0002683784,0.0002547245],"domain_scores_gemma":[0.997322,0.0003916561,0.0005058441,0.00144281,0.0001765186,0.0001611572],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001133342,0.0000143858,3.694463e-8,0.0002497199,0.0001915071,0.0003022582,0.0001377319,5.019942e-8,0.000008073879,0.9121666,0.08606582,0.0007504894],"study_design_scores_gemma":[0.0003141261,0.00004364771,1.605878e-7,0.000321143,0.0004377085,0.00002546249,0.00002332824,0.000003360022,0.00007744436,0.05992476,0.9383608,0.0004680817],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00005399498,0.0001137274,0.0006870468,0.000004726166,0.0004811319,0.0003287211,0.0001049703,0.0002174733,0.9980082],"genre_scores_gemma":[0.0002034437,0.00004126409,0.0006456963,0.00002474887,0.0001780819,3.252049e-7,0.00001363584,0.00009327708,0.9987995],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.852295,"threshold_uncertainty_score":0.999778,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05985298876214691,"score_gpt":0.2438814726557792,"score_spread":0.1840284838936323,"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."}}