{"meta":{"query_hash":"9aed6a728523","filters":{"venue":"Theorem Proving in Higher Order Logics"},"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/9aed6a728523","api":"https://metacan.xera.ac/api/v1/cohort?venue=Theorem+Proving+in+Higher+Order+Logics"},"results":[{"id":"W2913147510","doi":"","title":"Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics","year":2008,"lang":"en","type":"article","venue":"Theorem Proving in Higher Order Logics","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Concordia University","funders":"","keywords":"Order (exchange); Automated theorem proving; Computer science; Calculus (dental); Mathematical economics; Mathematics; Discrete mathematics; Theoretical computer science; Business; Medicine","score_opus":0.056843874740344816,"score_gpt":0.25342045705631266,"score_spread":0.19657658231596786,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2913147510","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.23663911,0.00025773814,0.0032665615,0.0048766453,0.0030141266,0.0014208192,0.000008105744,0.0004260922,0.7500908],"genre_scores_gemma":[0.9887558,0.00009212964,0.005804811,0.00060394773,0.00020072644,0.00006412587,0.0000030161964,0.000037066606,0.0044383593],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9967781,0.0001603046,0.0007210731,0.00089928287,0.0007316907,0.00070959073],"domain_scores_gemma":[0.99789554,0.0002546419,0.00048106638,0.0006170526,0.0006604543,0.00009125603],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0010719094,0.0004763319,0.0005035434,0.00028329116,0.00021931584,0.0001871374,0.00295353,0.00030779414,0.00028982587],"category_scores_gemma":[0.0003999943,0.0003159902,0.00011773713,0.0014653375,0.00064749,0.0005800914,0.0010664904,0.0008029687,0.000037796275],"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.000052574323,0.00038547898,0.029613484,0.00004980676,0.000018720386,0.00001940359,0.0030397153,0.00015978164,0.00068102067,0.9637279,0.0001526086,0.0020994996],"study_design_scores_gemma":[0.00518127,0.0010738107,0.18822886,0.0012609563,0.00004475445,0.00014650852,0.0011876996,0.029886883,0.0061374935,0.75410455,0.010122819,0.0026243974],"about_ca_topic_score_codex":0.0000642888,"about_ca_topic_score_gemma":0.00004690637,"teacher_disagreement_score":0.7521167,"about_ca_system_score_codex":0.00024976433,"about_ca_system_score_gemma":0.00030480977,"threshold_uncertainty_score":0.9999292},"labels":[],"label_agreement":null}]}