{"meta":{"query_hash":"0fbbbdf278b3","filters":{"venue":"Rewriting Techniques and Applications"},"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/0fbbbdf278b3","api":"https://metacan.xera.ac/api/v1/cohort?venue=Rewriting+Techniques+and+Applications"},"results":[{"id":"W2516704912","doi":"","title":"Evidence normalization in System FC","year":2013,"lang":"en","type":"article","venue":"Rewriting Techniques and Applications","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"St Mary's Hospital Centre","funders":"","keywords":"Haskell; Computer science; Type inference; Programming language; Inference; Normalization (sociology); Debugging; Type theory; Type (biology); Functional programming; Theoretical computer science; Algorithm; Artificial intelligence","score_opus":0.027796929123422087,"score_gpt":0.2718369373002821,"score_spread":0.24404000817686,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2516704912","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"methods","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.00093120604,0.000673526,0.98720515,0.00032017496,0.000012203011,0.00089465384,2.4284122e-7,0.0007617586,0.009201069],"genre_scores_gemma":[0.97355634,0.00013120827,0.02480374,0.000035049157,0.000075171214,0.0013116727,0.0000018911406,0.0000051132843,0.000079800804],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","domain_scores_codex":[0.99929404,0.000032561547,0.00020929218,0.00023167527,0.00008808089,0.0001443222],"domain_scores_gemma":[0.9994613,0.000050429968,0.00007891837,0.00029273398,0.00007500384,0.00004161112],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00027776835,0.00007027495,0.00009024726,0.00007321076,0.000114666334,0.000190747,0.00028337707,0.000053180465,0.0000022583993],"category_scores_gemma":[0.000010692839,0.00006390883,0.000016861102,0.00032387808,0.000022434098,0.00038678278,0.000107330845,0.00006329451,0.000031422336],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[1.5414868e-7,0.000011681739,0.001771418,0.000077916244,8.6045185e-7,9.31969e-7,0.000052784802,6.381009e-7,0.00028840487,0.8287081,0.00012419622,0.16896288],"study_design_scores_gemma":[0.0010311798,0.0007961118,0.019724997,0.002379378,0.000044710643,0.0013067494,0.0022057395,0.20157264,0.03518935,0.2682612,0.46431178,0.0031761553],"about_ca_topic_score_codex":0.00034329027,"about_ca_topic_score_gemma":0.00001062142,"teacher_disagreement_score":0.97262514,"about_ca_system_score_codex":0.000034933008,"about_ca_system_score_gemma":0.000013150211,"threshold_uncertainty_score":0.26061267},"labels":[],"label_agreement":null}]}