{"meta":{"query_hash":"1949beeebd66","filters":{"venue":"Trends in logic"},"cohort_total":1,"direct_labels_cover":0,"predictions_cover":1,"exported":1,"export_cap":100000,"truncated":false,"label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12"},"permalink":"https://metacan.xera.ac/q/1949beeebd66","api":"https://metacan.xera.ac/api/v1/cohort?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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Lethbridge","funders":"","keywords":"Cube (algebra); Type (biology); Mathematics; Computer science; Calculus (dental); Combinatorics; Geology; Medicine","score_opus":0.0396353792095089,"score_gpt":0.2689517750286999,"score_spread":0.22931639581919097,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W107734836","genre_codex":"methods","genre_gemma":"methods","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"methods","genre_consensus":"methods","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0045702267,0.009762587,0.808717,0.0067110676,0.001617679,0.00014094457,0.0010614053,0.0029038966,0.1645152],"genre_scores_gemma":[0.18411162,0.01327788,0.71578103,0.004328565,0.002830511,0.0007968016,0.0031421564,0.00394032,0.07179107],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99657685,0.001117026,0.00025852682,0.0004508521,0.0013564116,0.00024044368],"domain_scores_gemma":[0.9969478,0.0019597013,0.000078058496,0.0005315292,0.00039302025,0.00008990811],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0029202714,0.0013382796,0.0020607342,0.0037428718,0.002235651,0.006001416,0.0032550073,0.0018777184,0.022911472],"category_scores_gemma":[0.009537726,0.0019668066,0.003171493,0.0043523367,0.00581445,0.01587543,0.00543574,0.008252566,0.008311049],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000019364257,0.0000132688765,0.000037013575,0.00013224654,0.00001717564,0.0000325495,0.00016660948,0.00084115827,0.0002245941,0.9518707,0.0118592195,0.03478607],"study_design_scores_gemma":[0.000009623419,0.0000030531914,0.000016791417,0.000047329922,0.0000075570388,0.000028527147,0.000016815311,0.0014749191,0.0002053038,0.9757146,0.02246716,0.0000083879095],"about_ca_topic_score_codex":0.0019063707,"about_ca_topic_score_gemma":0.002287383,"teacher_disagreement_score":0.022911472,"about_ca_system_score_codex":0.0036361094,"about_ca_system_score_gemma":0.001569457,"threshold_uncertainty_score":0.07664645},"labels":[],"label_agreement":null}]}