{"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":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.039564874,0.0004842254,0.9030029,0.0012795326,0.00038804623,0.00062553026,0.0016532016,0.03080492,0.022196671],"genre_scores_gemma":[0.3565988,0.00027611878,0.6191071,0.00079087523,0.00021754028,0.00049657415,0.0021295287,0.00298212,0.017401334],"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9914165,0.0014355909,0.0005243897,0.0019379795,0.0037289383,0.0009566358],"domain_scores_gemma":[0.9834552,0.006459135,0.0006191884,0.0046715247,0.004532098,0.00026273078],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005029857,0.0007181414,0.0010689578,0.0025099707,0.0018578104,0.004281346,0.0026157808,0.0014421241,0.013632398],"category_scores_gemma":[0.024610452,0.0008000843,0.0013426604,0.0015515714,0.0029440203,0.0061922274,0.0041251336,0.0025631923,0.0029178453],"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":[0.0011925845,0.0002265746,0.009947871,0.001385727,0.00023836418,0.0013285881,0.0013974381,0.039361663,0.030670764,0.302048,0.029861024,0.5823415],"study_design_scores_gemma":[0.00026602173,0.00022362085,0.0042130365,0.00033119504,0.00042479433,0.0017178888,0.00039347308,0.3322744,0.19824067,0.2737015,0.1879717,0.00024163183],"about_ca_topic_score_codex":0.013538478,"about_ca_topic_score_gemma":0.010175026,"teacher_disagreement_score":0.013632398,"about_ca_system_score_codex":0.003267269,"about_ca_system_score_gemma":0.008110522,"threshold_uncertainty_score":0.045604885},"labels":[],"label_agreement":null}]}