{"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":"other","genre_gemma":"other","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"other","genre_consensus":"other","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0000048923134,0.0011287782,0.1366626,0.00023447003,0.0026142197,0.00034110586,0.00002154005,0.00030911007,0.8586833],"genre_scores_gemma":[0.3785083,0.00008875516,0.0064593335,0.00040512963,0.0011022289,0.00009227581,0.00028956856,0.00008755217,0.61296684],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99799633,0.000056843954,0.00041574336,0.0008210847,0.00028803025,0.00042198546],"domain_scores_gemma":[0.9982703,0.00027558647,0.00028628635,0.0009858381,0.00009691035,0.000085085936],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00044079998,0.00044335204,0.00060907,0.00028270134,0.000090754635,0.00017330999,0.001274422,0.0004564071,0.0002623371],"category_scores_gemma":[0.000052367835,0.0003364863,0.00022630255,0.00011533159,0.00016356852,0.00011431524,0.0002487444,0.00030122863,0.00019954496],"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.00002011693,0.000012131461,0.000025437786,0.000020998035,0.000037580878,0.000010198572,0.0003088425,0.0000034154907,0.0000016706597,0.87210864,0.0021703867,0.12528059],"study_design_scores_gemma":[0.0002954576,0.00025228548,0.000027835482,0.00001991404,0.000018687853,0.0000038931216,0.000007940968,0.00025146615,0.000012313969,0.71196157,0.28681803,0.0003306002],"about_ca_topic_score_codex":0.00006193624,"about_ca_topic_score_gemma":0.00017910001,"teacher_disagreement_score":0.3785034,"about_ca_system_score_codex":0.00008874831,"about_ca_system_score_gemma":0.000060952483,"threshold_uncertainty_score":0.99990875},"labels":[],"label_agreement":null}]}