{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":1,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":1,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12","author_layer_release":"2026-06-26"},"query_hash":"1949beeebd66","filters":{"venue":"Trends in logic"}},"results":[{"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Lethbridge","funders":"","keywords":"Cube (algebra); Type (biology); Mathematics; Computer science; Calculus (dental); Combinatorics; Geology; Medicine","authors":[{"name":"Jonathan P. Seldin","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0396353792095089,"gpt":0.2689517750286999,"spread":0.229316395819191,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002920271,0.00133828,0.002060734,0.003742872,0.002235651,0.006001416,0.003255007,0.001877718,0.02291147],"category_scores_gemma":[0.009537726,0.001966807,0.003171493,0.004352337,0.00581445,0.01587543,0.00543574,0.008252566,0.008311049],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003636109,"about_ca_system_score_gemma":0.001569457,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001906371,"about_ca_topic_score_gemma":0.002287383,"domain_scores_codex":[0.9965768,0.001117026,0.0002585268,0.0004508521,0.001356412,0.0002404437],"domain_scores_gemma":[0.9969478,0.001959701,0.0000780585,0.0005315292,0.0003930203,0.00008990811],"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.00001936426,0.00001326888,0.00003701357,0.0001322465,0.00001717564,0.0000325495,0.0001666095,0.0008411583,0.0002245941,0.9518707,0.01185922,0.03478607],"study_design_scores_gemma":[0.000009623419,0.000003053191,0.00001679142,0.00004732992,0.000007557039,0.00002852715,0.00001681531,0.001474919,0.0002053038,0.9757146,0.02246716,0.000008387909],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004570227,0.009762587,0.808717,0.006711068,0.001617679,0.0001409446,0.001061405,0.002903897,0.1645152],"genre_scores_gemma":[0.1841116,0.01327788,0.715781,0.004328565,0.002830511,0.0007968016,0.003142156,0.00394032,0.07179107],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02291147,"threshold_uncertainty_score":0.07664645,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}