{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001524878,0.00075425,0.001185568,0.001810742,0.002270542,0.007078392,0.002019239,0.001936773,0.009584235],"category_scores_gemma":[0.003176111,0.0008135177,0.001230633,0.002129043,0.00740865,0.01057953,0.002055591,0.003861678,0.0006389149],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002252132,"about_ca_system_score_gemma":0.0009543851,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002070166,"about_ca_topic_score_gemma":0.002308908,"domain_scores_codex":[0.9990371,0.0003849223,0.00005953871,0.0001480625,0.0002522061,0.0001180518],"domain_scores_gemma":[0.9977296,0.001296151,0.000215659,0.0003329379,0.0002103132,0.0002154436],"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.000004534415,0.000005870173,0.0000757542,0.000005981803,0.000002075973,0.00001681022,0.00006733934,0.0002683745,0.0000357017,0.9990834,0.0001128274,0.0003214128],"study_design_scores_gemma":[0.000006300529,0.000001929033,0.00004016677,0.000002720468,0.000003007794,0.00001350238,0.00004085097,0.001457495,0.00002459109,0.998032,0.0003748608,0.000002579562],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.3715369,0.003673004,0.3170388,0.008183982,0.0004581327,0.000107538,0.001028011,0.0004739159,0.2974998],"genre_scores_gemma":[0.9721495,0.0005934409,0.01355763,0.0002193444,0.0003774263,0.00007084695,0.0003280729,0.0000599517,0.01264379],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.009584235,"threshold_uncertainty_score":0.03206253,"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."}}