{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001005446,0.0005900046,0.0007014741,0.001990788,0.00175828,0.004350777,0.001047116,0.001051359,0.07261612],"category_scores_gemma":[0.002137021,0.0004366215,0.0009137448,0.002397883,0.002777755,0.007399756,0.001547099,0.002840217,0.02834881],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002878637,"about_ca_system_score_gemma":0.001041982,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001715812,"about_ca_topic_score_gemma":0.001762749,"domain_scores_codex":[0.9990011,0.0002544851,0.00006848448,0.0001917779,0.0003869596,0.00009726202],"domain_scores_gemma":[0.9991562,0.0002919799,0.00004345095,0.0002192676,0.0002357725,0.00005328293],"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.000009493252,0.000005941858,0.00007415635,0.0001133799,0.000005850643,0.00002440161,0.0001817258,0.0001346124,0.000186821,0.9171518,0.05733862,0.0247732],"study_design_scores_gemma":[0.000005364677,0.000006880529,0.0001747167,0.0001023524,0.000007817926,0.0001944633,0.0001013053,0.0003347963,0.0003292157,0.612285,0.3864495,0.000008585828],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.001682045,0.009002389,0.05768061,0.003475106,0.001478639,0.00003993651,0.001539587,0.0005923151,0.9245094],"genre_scores_gemma":[0.1348776,0.01846774,0.04147127,0.003362213,0.002531504,0.0001838833,0.004370335,0.001425595,0.7933098],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.07261612,"threshold_uncertainty_score":0.2429251,"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."}}