{"id":"W2096221521","doi":"10.1016/j.apal.2013.05.002","title":"Combinatorial realizability models of type theory","year":2013,"lang":"en","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Realizability; Type theory; Mathematics; Type (biology); Functor; Homotopy; Model theory; Algebra over a field; Graph; Pure mathematics; Discrete mathematics; Algorithm","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.0004896318,0.0001039377,0.0003502247,0.00003282206,0.00003260563,0.000003409413,0.0001393914,0.0001912499,0.00032809],"category_scores_gemma":[0.0001076355,0.00007999355,0.00004721705,0.00007946353,0.0003267758,0.0000382949,0.00006510707,0.0001048903,0.000008462198],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000001593191,"about_ca_system_score_gemma":0.00001984564,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001604439,"about_ca_topic_score_gemma":0.000001640606,"domain_scores_codex":[0.9992059,0.00009232008,0.0002913194,0.0001590269,0.00008704214,0.0001643947],"domain_scores_gemma":[0.9990563,0.0003747387,0.0001469242,0.0002601453,0.0001172486,0.00004459066],"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.00005605843,0.0001536362,0.00008414149,0.00007708366,0.00004082203,5.09933e-7,0.0003180728,0.000002528576,0.0008401296,0.9957088,0.001274983,0.001443274],"study_design_scores_gemma":[0.0002154741,0.0001758041,0.0002423515,0.000005774977,0.00001879532,0.000002699023,0.000190066,0.00001809879,0.005968331,0.993035,0.00005355978,0.00007410648],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9490385,0.0001783847,0.0005055143,0.0004504629,0.0001173336,0.0002910192,0.000005158151,0.00002629872,0.04938731],"genre_scores_gemma":[0.9990775,0.00006161604,0.0004665373,0.0002599743,0.00003874214,0.00001957506,0.000002998202,0.000007092193,0.00006595405],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.050039,"threshold_uncertainty_score":0.3592355,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07758309245407317,"score_gpt":0.326762809574957,"score_spread":0.2491797171208838,"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."}}