{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":1,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":1,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12","author_layer_release":"2026-06-26"},"query_hash":"0fbbbdf278b3","filters":{"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Dimitrios Vytiniotis","is_ca":false},{"name":"Simon Peyton Jones","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02779692912342209,"gpt":0.2718369373002821,"spread":0.24404000817686,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005029857,0.0007181414,0.001068958,0.002509971,0.00185781,0.004281346,0.002615781,0.001442124,0.0136324],"category_scores_gemma":[0.02461045,0.0008000843,0.00134266,0.001551571,0.00294402,0.006192227,0.004125134,0.002563192,0.002917845],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003267269,"about_ca_system_score_gemma":0.008110522,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01353848,"about_ca_topic_score_gemma":0.01017503,"domain_scores_codex":[0.9914165,0.001435591,0.0005243897,0.001937979,0.003728938,0.0009566358],"domain_scores_gemma":[0.9834552,0.006459135,0.0006191884,0.004671525,0.004532098,0.0002627308],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001192585,0.0002265746,0.009947871,0.001385727,0.0002383642,0.001328588,0.001397438,0.03936166,0.03067076,0.302048,0.02986102,0.5823415],"study_design_scores_gemma":[0.0002660217,0.0002236209,0.004213037,0.000331195,0.0004247943,0.001717889,0.0003934731,0.3322744,0.1982407,0.2737015,0.1879717,0.0002416318],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03956487,0.0004842254,0.9030029,0.001279533,0.0003880462,0.0006255303,0.001653202,0.03080492,0.02219667],"genre_scores_gemma":[0.3565988,0.0002761188,0.6191071,0.0007908752,0.0002175403,0.0004965742,0.002129529,0.00298212,0.01740133],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0136324,"threshold_uncertainty_score":0.04560488,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}