{"id":"W107734836","doi":"10.1007/978-94-007-7548-0_7","title":"Type Theories from Barendregt’s Cube for Theorem Provers","year":2014,"lang":"en","type":"book-chapter","venue":"Trends in logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Lethbridge","funders":"","keywords":"Cube (algebra); Type (biology); Mathematics; Computer science; Calculus (dental); Combinatorics; Geology; Medicine","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.0004408,0.000443352,0.00060907,0.0002827013,0.00009075463,0.00017331,0.001274422,0.0004564071,0.0002623371],"category_scores_gemma":[0.00005236784,0.0003364863,0.0002263026,0.0001153316,0.0001635685,0.0001143152,0.0002487444,0.0003012286,0.000199545],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008874831,"about_ca_system_score_gemma":0.00006095248,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006193624,"about_ca_topic_score_gemma":0.0001791,"domain_scores_codex":[0.9979963,0.00005684395,0.0004157434,0.0008210847,0.0002880302,0.0004219855],"domain_scores_gemma":[0.9982703,0.0002755865,0.0002862863,0.0009858381,0.00009691035,0.00008508594],"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.00002011693,0.00001213146,0.00002543779,0.00002099804,0.00003758088,0.00001019857,0.0003088425,0.000003415491,0.00000167066,0.8721086,0.002170387,0.1252806],"study_design_scores_gemma":[0.0002954576,0.0002522855,0.00002783548,0.00001991404,0.00001868785,0.000003893122,0.000007940968,0.0002514661,0.00001231397,0.7119616,0.286818,0.0003306002],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.000004892313,0.001128778,0.1366626,0.00023447,0.00261422,0.0003411059,0.00002154005,0.0003091101,0.8586833],"genre_scores_gemma":[0.3785083,0.00008875516,0.006459333,0.0004051296,0.001102229,0.00009227581,0.0002895686,0.00008755217,0.6129668],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.3785034,"threshold_uncertainty_score":0.9999087,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0396353792095089,"score_gpt":0.2689517750286999,"score_spread":0.229316395819191,"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."}}